Anne is white. Fiona is big. Harry is smart. If someone is furry and green then they are white. If someone is kind and green then they are furry. If Fiona is big and Fiona is quiet then Fiona is green. All smart people are kind. If Harry is furry and Harry is smart then Harry is white. If Anne is green and Anne is white then Anne is big.
Anne is white.
("Anne" "is" "white" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Harry is smart.
("Harry" "is" "smart" "+")
If someone is furry and green then they are white.
((("someone" "is" "furry" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "white" "+"))
If someone is kind and green then they are furry.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "furry" "+"))
If Fiona is big and Fiona is quiet then Fiona is green.
((("Fiona" "is" "big" "+") ("Fiona" "is" "quiet" "+")) -> ("Fiona" "is" "green" "+"))
All smart people are kind.
((("someone" "is" "smart" "+")) -> ("someone" "is" "kind" "+"))
If Harry is furry and Harry is smart then Harry is white.
((("Harry" "is" "furry" "+") ("Harry" "is" "smart" "+")) -> ("Harry" "is" "white" "+"))
If Anne is green and Anne is white then Anne is big.
((("Anne" "is" "green" "+") ("Anne" "is" "white" "+")) -> ("Anne" "is" "big" "+"))
Fiona is big.
True
1
proof
[(triple2)]
("Fiona" "is" "big" "+")
triple2
Anne is not white.
False
1
inv-proof
[(triple1)]
("Anne" "is" "white" "-")
triple1
Harry is kind.
True
2
proof
[(((triple3) -> rule4))]
("Harry" "is" "kind" "+")
((triple3) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is not kind.
False
2
inv-proof
[(((triple3) -> rule4))]
("Harry" "is" "kind" "-")
((triple3) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Fiona is not kind.
Unknown
inv-rconc
[@1: Fiona is kind.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Fiona" "is" "kind" "-")
Anne is big.
Unknown
rconc
[@1: Anne is big.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Anne" "is" "big" "+")
Fiona is not smart.
Unknown
inv-random
[@0: Fiona is smart.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "smart" "-")
Anne is smart.
Unknown
random
[@0: Anne is smart.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "smart" "+")
@0: Anne is white.[(triple1)] Fiona is big.[(triple2)] Harry is smart.[(triple3)] @1: Harry is kind.[(((triple3) -> rule4))]
Anne is white.
("Anne" "is" "white" "+")
triple1
Fiona is big.
("Fiona" "is" "big" "+")
triple2
Harry is smart.
("Harry" "is" "smart" "+")
triple3
Harry is kind.
("Harry" "is" "kind" "+")
((triple3) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1