Charlie is not red. Fiona is big. Fiona is nice. If something is nice and cold then it is not young. If something is white and not big then it is red. If something is big then it is not cold.
Charlie is not red.
("Charlie" "is" "red" "-")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
If something is nice and cold then it is not young.
((("something" "is" "nice" "+") ("something" "is" "cold" "+")) -> ("something" "is" "young" "-"))
If something is white and not big then it is red.
((("something" "is" "white" "+") ("something" "is" "big" "~")) -> ("something" "is" "red" "+"))
If something is big then it is not cold.
((("something" "is" "big" "+")) -> ("something" "is" "cold" "-"))
Fiona is nice.
True
1
proof
[(triple3)]
("Fiona" "is" "nice" "+")
triple3
Fiona is not big.
False
1
inv-proof
[(triple2)]
("Fiona" "is" "big" "-")
triple2
Fiona is not cold.
True
2
proof
[(((triple2) -> rule3))]
("Fiona" "is" "cold" "-")
((triple2) -> (rule3 % int1))
Fiona is not cold.
("Fiona" "is" "cold" "-")
int1
Fiona is cold.
False
2
inv-proof
[(((triple2) -> rule3))]
("Fiona" "is" "cold" "+")
((triple2) -> (rule3 % int1))
Fiona is not cold.
("Fiona" "is" "cold" "-")
int1
Fiona is not red.
Unknown
inv-rconc
[@1: Fiona is red.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fiona" "is" "red" "-")
Charlie is rough.
Unknown
random
[@0: Charlie is rough.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "rough" "+")
Charlie is not young.
Unknown
inv-random
[@0: Charlie is young.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "young" "-")
Charlie is white.
Unknown
random
[@0: Charlie is white.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "white" "+")
@0: Charlie is not red.[(triple1)] Fiona is big.[(triple2)] Fiona is nice.[(triple3)] @1: Fiona is not cold.[(((triple2) -> rule3))]
Charlie is not red.
("Charlie" "is" "red" "-")
triple1
Fiona is big.
("Fiona" "is" "big" "+")
triple2
Fiona is nice.
("Fiona" "is" "nice" "+")
triple3
Fiona is not cold.
("Fiona" "is" "cold" "-")
((triple2) -> (rule3 % int1))
Fiona is not cold.
("Fiona" "is" "cold" "-")
int1