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