Charlie is big. Fiona is white. If Charlie is furry and Charlie is big then Charlie is red. Cold, big people are white. Quiet people are cold. If Fiona is white then Fiona is furry. If someone is quiet then they are not furry. If someone is big and cold then they are furry.
Charlie is big.
("Charlie" "is" "big" "+")
Fiona is white.
("Fiona" "is" "white" "+")
If Charlie is furry and Charlie is big then Charlie is red.
((("Charlie" "is" "furry" "+") ("Charlie" "is" "big" "+")) -> ("Charlie" "is" "red" "+"))
Cold, big people are white.
((("someone" "is" "cold" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "white" "+"))
Quiet people are cold.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "cold" "+"))
If Fiona is white then Fiona is furry.
((("Fiona" "is" "white" "+")) -> ("Fiona" "is" "furry" "+"))
If someone is quiet then they are not furry.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "furry" "-"))
If someone is big and cold then they are furry.
((("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "furry" "+"))
Charlie is big.
True
1
proof
[(triple1)]
("Charlie" "is" "big" "+")
triple1
Charlie is not big.
False
1
inv-proof
[(triple1)]
("Charlie" "is" "big" "-")
triple1
Fiona is furry.
True
2
proof
[(((triple2) -> rule4))]
("Fiona" "is" "furry" "+")
((triple2) -> (rule4 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is not furry.
False
2
inv-proof
[(((triple2) -> rule4))]
("Fiona" "is" "furry" "-")
((triple2) -> (rule4 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Charlie is not red.
Unknown
inv-rconc
[@3: Charlie is red.[CWA. Example of deepest failure = (rule1 <- rule6 <- rule3 <- FAIL)]]
("Charlie" "is" "red" "-")
Fiona is cold.
Unknown
rconc
[@1: Fiona is cold.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Fiona" "is" "cold" "+")
Fiona is not big.
Unknown
inv-random
[@0: Fiona is big.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "big" "-")
Fiona is kind.
Unknown
random
[@0: Fiona is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "kind" "+")
@0: Charlie is big.[(triple1)] Fiona is white.[(triple2)] @1: Fiona is furry.[(((triple2) -> rule4))]
Charlie is big.
("Charlie" "is" "big" "+")
triple1
Fiona is white.
("Fiona" "is" "white" "+")
triple2
Fiona is furry.
("Fiona" "is" "furry" "+")
((triple2) -> (rule4 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1