Anne is furry. Anne is white. Charlie is big. Charlie is nice. Charlie is white. Erin is big. Erin is cold. Erin is nice. Erin is round. Fiona is big. Fiona is cold. Fiona is furry. Fiona is nice. Fiona is round. Fiona is white. If Anne is round and Anne is big then Anne is white. If something is nice then it is young. Furry things are big. Young, furry things are nice. All cold, young things are nice. Cold, white things are nice. If Fiona is big then Fiona is round. All furry things are nice.
Anne is furry.
("Anne" "is" "furry" "+")
Anne is white.
("Anne" "is" "white" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is round.
("Erin" "is" "round" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is white.
("Fiona" "is" "white" "+")
If Anne is round and Anne is big then Anne is white.
((("Anne" "is" "round" "+") ("Anne" "is" "big" "+")) -> ("Anne" "is" "white" "+"))
If something is nice then it is young.
((("something" "is" "nice" "+")) -> ("something" "is" "young" "+"))
Furry things are big.
((("something" "is" "furry" "+")) -> ("something" "is" "big" "+"))
Young, furry things are nice.
((("something" "is" "young" "+") ("something" "is" "furry" "+")) -> ("something" "is" "nice" "+"))
All cold, young things are nice.
((("something" "is" "cold" "+") ("something" "is" "young" "+")) -> ("something" "is" "nice" "+"))
Cold, white things are nice.
((("something" "is" "cold" "+") ("something" "is" "white" "+")) -> ("something" "is" "nice" "+"))
If Fiona is big then Fiona is round.
((("Fiona" "is" "big" "+")) -> ("Fiona" "is" "round" "+"))
All furry things are nice.
((("something" "is" "furry" "+")) -> ("something" "is" "nice" "+"))
Fiona is white.
True
1
proof
[(triple15)]
("Fiona" "is" "white" "+")
triple15
Fiona is not white.
False
1
inv-proof
[(triple15)]
("Fiona" "is" "white" "-")
triple15
Erin is young.
True
2
proof
[(((triple8) -> rule2))]
("Erin" "is" "young" "+")
((triple8) -> (rule2 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Anne is not nice.
False
2
inv-proof
[(((triple1) -> rule8))]
("Anne" "is" "nice" "-")
((triple1) -> (rule8 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is young.
True
3
proof
[(((((triple1) -> rule8)) -> rule2))]
("Anne" "is" "young" "+")
((((triple1) -> (rule8 % int2))) -> (rule2 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is not young.
False
3
inv-proof
[(((((triple1) -> rule8)) -> rule2))]
("Anne" "is" "young" "-")
((((triple1) -> (rule8 % int2))) -> (rule2 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is not cold.
Unknown
inv-random
[@0: Anne is cold.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "cold" "-")
Charlie is furry.
Unknown
random
[@0: Charlie is furry.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "furry" "+")
Erin is not white.
Unknown
inv-random
[@0: Erin is white.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "white" "-")
Charlie is round.
Unknown
random
[@0: Charlie is round.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "round" "+")
Erin is not furry.
Unknown
inv-random
[@0: Erin is furry.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "furry" "-")
Anne is round.
Unknown
random
[@0: Anne is round.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "round" "+")
@0: Anne is furry.[(triple1)] Anne is white.[(triple2)] Charlie is big.[(triple3)] Charlie is nice.[(triple4)] Charlie is white.[(triple5)] Erin is big.[(triple6)] Erin is cold.[(triple7)] Erin is nice.[(triple8)] Erin is round.[(triple9)] Fiona is big.[(triple10 OR ((triple12) -> rule3))] Fiona is cold.[(triple11)] Fiona is furry.[(triple12)] Fiona is nice.[(triple13 OR ((triple12) -> rule8) OR ((triple11 triple15) -> rule6))] Fiona is round.[(triple14 OR ((triple10) -> rule7) OR ((((triple12) -> rule3)) -> rule7))] Fiona is white.[(triple15)] @1: Anne is big.[(((triple1) -> rule3))] Anne is nice.[(((triple1) -> rule8))] Charlie is young.[(((triple4) -> rule2))] Erin is young.[(((triple8) -> rule2))] Fiona is young.[(((triple13) -> rule2) OR ((((triple12) -> rule8)) -> rule2) OR ((((triple11 triple15) -> rule6)) -> rule2))] @2: Anne is young.[(((((triple1) -> rule8)) -> rule2))]
Anne is furry.
("Anne" "is" "furry" "+")
triple1
Anne is white.
("Anne" "is" "white" "+")
triple2
Charlie is big.
("Charlie" "is" "big" "+")
triple3
Charlie is nice.
("Charlie" "is" "nice" "+")
triple4
Charlie is white.
("Charlie" "is" "white" "+")
triple5
Erin is big.
("Erin" "is" "big" "+")
triple6
Erin is cold.
("Erin" "is" "cold" "+")
triple7
Erin is nice.
("Erin" "is" "nice" "+")
triple8
Erin is round.
("Erin" "is" "round" "+")
triple9
Fiona is big.
("Fiona" "is" "big" "+")
triple10
((triple12) -> (rule3 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
triple11
Fiona is furry.
("Fiona" "is" "furry" "+")
triple12
Fiona is nice.
("Fiona" "is" "nice" "+")
triple13
((triple12) -> (rule8 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
((triple11 triple15) -> (rule6 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
triple14
((triple10) -> (rule7 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
((((triple12) -> (rule3 % int2))) -> (rule7 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
triple15
Anne is big.
("Anne" "is" "big" "+")
((triple1) -> (rule3 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
((triple1) -> (rule8 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
((triple4) -> (rule2 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
((triple8) -> (rule2 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
((triple13) -> (rule2 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
((((triple12) -> (rule8 % int2))) -> (rule2 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
((((triple11 triple15) -> (rule6 % int2))) -> (rule2 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
((((triple1) -> (rule8 % int2))) -> (rule2 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2