Anne is big. Anne is cold. Anne is red. Fiona is big. Fiona is cold. Fiona is white. Harry is white. If someone is white and round then they are big. Big people are rough. If Fiona is red and Fiona is white then Fiona is cold.
Anne is big.
("Anne" "is" "big" "+")
Anne is cold.
("Anne" "is" "cold" "+")
Anne is red.
("Anne" "is" "red" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Harry is white.
("Harry" "is" "white" "+")
If someone is white and round then they are big.
((("someone" "is" "white" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "big" "+"))
Big people are rough.
((("someone" "is" "big" "+")) -> ("someone" "is" "rough" "+"))
If Fiona is red and Fiona is white then Fiona is cold.
((("Fiona" "is" "red" "+") ("Fiona" "is" "white" "+")) -> ("Fiona" "is" "cold" "+"))
Anne is red.
True
1
proof
[(triple3)]
("Anne" "is" "red" "+")
triple3
Fiona is not big.
False
1
inv-proof
[(triple4)]
("Fiona" "is" "big" "-")
triple4
Fiona is rough.
True
2
proof
[(((triple4) -> rule2))]
("Fiona" "is" "rough" "+")
((triple4) -> (rule2 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is not rough.
False
2
inv-proof
[(((triple4) -> rule2))]
("Fiona" "is" "rough" "-")
((triple4) -> (rule2 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Harry is not rough.
Unknown
inv-rconc
[@2: Harry is rough.[CWA. Example of deepest failure = (rule2 <- rule1 <- FAIL)]]
("Harry" "is" "rough" "-")
Harry is big.
Unknown
rconc
[@1: Harry is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "big" "+")
Harry is not cold.
Unknown
inv-random
[@0: Harry is cold.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "cold" "-")
Fiona is red.
Unknown
random
[@0: Fiona is red.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "red" "+")
@0: Anne is big.[(triple1)] Anne is cold.[(triple2)] Anne is red.[(triple3)] Fiona is big.[(triple4)] Fiona is cold.[(triple5)] Fiona is white.[(triple6)] Harry is white.[(triple7)] @1: Anne is rough.[(((triple1) -> rule2))] Fiona is rough.[(((triple4) -> rule2))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is cold.
("Anne" "is" "cold" "+")
triple2
Anne is red.
("Anne" "is" "red" "+")
triple3
Fiona is big.
("Fiona" "is" "big" "+")
triple4
Fiona is cold.
("Fiona" "is" "cold" "+")
triple5
Fiona is white.
("Fiona" "is" "white" "+")
triple6
Harry is white.
("Harry" "is" "white" "+")
triple7
Anne is rough.
("Anne" "is" "rough" "+")
((triple1) -> (rule2 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
((triple4) -> (rule2 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1