Anne is big. Anne is cold. Anne is green. Anne is red. Anne is rough. Anne is round. Anne is young. Fiona is big. Gary is green. Gary is round. If Fiona is red and Fiona is cold then Fiona is big. Young, round people are red. All rough people are cold.
Anne is big.
("Anne" "is" "big" "+")
Anne is cold.
("Anne" "is" "cold" "+")
Anne is green.
("Anne" "is" "green" "+")
Anne is red.
("Anne" "is" "red" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is round.
("Anne" "is" "round" "+")
Anne is young.
("Anne" "is" "young" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is round.
("Gary" "is" "round" "+")
If Fiona is red and Fiona is cold then Fiona is big.
((("Fiona" "is" "red" "+") ("Fiona" "is" "cold" "+")) -> ("Fiona" "is" "big" "+"))
Young, round people are red.
((("someone" "is" "young" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "red" "+"))
All rough people are cold.
((("someone" "is" "rough" "+")) -> ("someone" "is" "cold" "+"))
Anne is red.
True
1
proof
[(triple4 OR ((triple7 triple6) -> rule2))]
("Anne" "is" "red" "+")
triple4
((triple7 triple6) -> (rule2 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is not red.
False
1
inv-proof
[(triple4 OR ((triple7 triple6) -> rule2))]
("Anne" "is" "red" "-")
triple4
((triple7 triple6) -> (rule2 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Fiona is not red.
Unknown
inv-rconc
[@1: Fiona is red.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fiona" "is" "red" "-")
Fiona is round.
Unknown
random
[@0: Fiona is round.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "round" "+")
@0: Anne is big.[(triple1)] Anne is cold.[(triple2 OR ((triple5) -> rule3))] Anne is green.[(triple3)] Anne is red.[(triple4 OR ((triple7 triple6) -> rule2))] Anne is rough.[(triple5)] Anne is round.[(triple6)] Anne is young.[(triple7)] Fiona is big.[(triple8)] Gary is green.[(triple9)] Gary is round.[(triple10)]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is cold.
("Anne" "is" "cold" "+")
triple2
((triple5) -> (rule3 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
triple3
Anne is red.
("Anne" "is" "red" "+")
triple4
((triple7 triple6) -> (rule2 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
triple5
Anne is round.
("Anne" "is" "round" "+")
triple6
Anne is young.
("Anne" "is" "young" "+")
triple7
Fiona is big.
("Fiona" "is" "big" "+")
triple8
Gary is green.
("Gary" "is" "green" "+")
triple9
Gary is round.
("Gary" "is" "round" "+")
triple10