Anne is rough. Dave is red. Fiona is round. Gary is round. All cold people are rough. Rough people are big. If someone is rough and young then they are cold. All rough, red people are cold. If Fiona is rough then Fiona is big. All cold people are furry.
Anne is rough.
("Anne" "is" "rough" "+")
Dave is red.
("Dave" "is" "red" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Gary is round.
("Gary" "is" "round" "+")
All cold people are rough.
((("someone" "is" "cold" "+")) -> ("someone" "is" "rough" "+"))
Rough people are big.
((("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
If someone is rough and young then they are cold.
((("someone" "is" "rough" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "cold" "+"))
All rough, red people are cold.
((("someone" "is" "rough" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
If Fiona is rough then Fiona is big.
((("Fiona" "is" "rough" "+")) -> ("Fiona" "is" "big" "+"))
All cold people are furry.
((("someone" "is" "cold" "+")) -> ("someone" "is" "furry" "+"))
Fiona is round.
True
1
proof
[(triple3)]
("Fiona" "is" "round" "+")
triple3
Anne is not rough.
False
1
inv-proof
[(triple1)]
("Anne" "is" "rough" "-")
triple1
Anne is big.
True
2
proof
[(((triple1) -> rule2))]
("Anne" "is" "big" "+")
((triple1) -> (rule2 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is not big.
False
2
inv-proof
[(((triple1) -> rule2))]
("Anne" "is" "big" "-")
((triple1) -> (rule2 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Gary is not big.
Unknown
inv-rconc
[@3: Gary is big.[CWA. Example of deepest failure = (rule2 <- rule1 <- rule3 <- FAIL)]]
("Gary" "is" "big" "-")
Dave is cold.
Unknown
rconc
[@3: Dave is cold.[CWA. Example of deepest failure = (rule4 <- rule1 <- rule3 <- FAIL)]]
("Dave" "is" "cold" "+")
Anne is not red.
Unknown
inv-random
[@0: Anne is red.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "red" "-")
Anne is round.
Unknown
random
[@0: Anne is round.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "round" "+")
@0: Anne is rough.[(triple1)] Dave is red.[(triple2)] Fiona is round.[(triple3)] Gary is round.[(triple4)] @1: Anne is big.[(((triple1) -> rule2))]
Anne is rough.
("Anne" "is" "rough" "+")
triple1
Dave is red.
("Dave" "is" "red" "+")
triple2
Fiona is round.
("Fiona" "is" "round" "+")
triple3
Gary is round.
("Gary" "is" "round" "+")
triple4
Anne is big.
("Anne" "is" "big" "+")
((triple1) -> (rule2 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1