Erin is furry. Erin is green. Fiona is big. Fiona is cold. Fiona is green. Fiona is quiet. Gary is big. Gary is cold. Gary is green. Gary is young. All red things are green. All furry things are young. If Fiona is green then Fiona is furry. If something is red and young then it is big. Big things are quiet. If Gary is furry and Gary is young then Gary is cold. All quiet, green things are cold. If Erin is green then Erin is cold.
Erin is furry.
("Erin" "is" "furry" "+")
Erin is green.
("Erin" "is" "green" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is young.
("Gary" "is" "young" "+")
All red things are green.
((("something" "is" "red" "+")) -> ("something" "is" "green" "+"))
All furry things are young.
((("something" "is" "furry" "+")) -> ("something" "is" "young" "+"))
If Fiona is green then Fiona is furry.
((("Fiona" "is" "green" "+")) -> ("Fiona" "is" "furry" "+"))
If something is red and young then it is big.
((("something" "is" "red" "+") ("something" "is" "young" "+")) -> ("something" "is" "big" "+"))
Big things are quiet.
((("something" "is" "big" "+")) -> ("something" "is" "quiet" "+"))
If Gary is furry and Gary is young then Gary is cold.
((("Gary" "is" "furry" "+") ("Gary" "is" "young" "+")) -> ("Gary" "is" "cold" "+"))
All quiet, green things are cold.
((("something" "is" "quiet" "+") ("something" "is" "green" "+")) -> ("something" "is" "cold" "+"))
If Erin is green then Erin is cold.
((("Erin" "is" "green" "+")) -> ("Erin" "is" "cold" "+"))
Erin is furry.
True
1
proof
[(triple1)]
("Erin" "is" "furry" "+")
triple1
Gary is not cold.
False
1
inv-proof
[(triple8 OR ((((triple7) -> rule5) triple9) -> rule7))]
("Gary" "is" "cold" "-")
triple8
((((triple7) -> (rule5 % int2)) triple9) -> (rule7 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Erin is cold.
True
2
proof
[(((triple2) -> rule8))]
("Erin" "is" "cold" "+")
((triple2) -> (rule8 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Gary is not quiet.
False
2
inv-proof
[(((triple7) -> rule5))]
("Gary" "is" "quiet" "-")
((triple7) -> (rule5 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Erin is not big.
Unknown
inv-rconc
[@1: Erin is big.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Erin" "is" "big" "-")
Erin is quiet.
Unknown
rconc
[@2: Erin is quiet.[CWA. Example of deepest failure = (rule5 <- rule4 <- FAIL)]]
("Erin" "is" "quiet" "+")
Gary is not red.
Unknown
inv-random
[@0: Gary is red.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "red" "-")
Gary is furry.
Unknown
random
[@0: Gary is furry.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "furry" "+")
@0: Erin is furry.[(triple1)] Erin is green.[(triple2)] Fiona is big.[(triple3)] Fiona is cold.[(triple4 OR ((triple6 triple5) -> rule7) OR ((((triple3) -> rule5) triple5) -> rule7))] Fiona is green.[(triple5)] Fiona is quiet.[(triple6 OR ((triple3) -> rule5))] Gary is big.[(triple7)] Gary is cold.[(triple8 OR ((((triple7) -> rule5) triple9) -> rule7))] Gary is green.[(triple9)] Gary is young.[(triple10)] @1: Erin is cold.[(((triple2) -> rule8))] Erin is young.[(((triple1) -> rule2))] Fiona is furry.[(((triple5) -> rule3))] Gary is quiet.[(((triple7) -> rule5))] @2: Fiona is young.[(((((triple5) -> rule3)) -> rule2))]
Erin is furry.
("Erin" "is" "furry" "+")
triple1
Erin is green.
("Erin" "is" "green" "+")
triple2
Fiona is big.
("Fiona" "is" "big" "+")
triple3
Fiona is cold.
("Fiona" "is" "cold" "+")
triple4
((triple6 triple5) -> (rule7 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
((((triple3) -> (rule5 % int2)) triple5) -> (rule7 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
triple5
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple6
((triple3) -> (rule5 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
triple7
Gary is cold.
("Gary" "is" "cold" "+")
triple8
((((triple7) -> (rule5 % int2)) triple9) -> (rule7 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
triple9
Gary is young.
("Gary" "is" "young" "+")
triple10
Erin is cold.
("Erin" "is" "cold" "+")
((triple2) -> (rule8 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
((triple1) -> (rule2 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
((triple5) -> (rule3 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
((triple7) -> (rule5 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
((((triple5) -> (rule3 % int2))) -> (rule2 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2