Charlie is big. Fiona is cold. Fiona is green. Fiona is not quiet. Fiona is not red. Fiona is not rough. Fiona is young. If someone is cold then they are big. All rough people are big. If Fiona is green and Fiona is rough then Fiona is not red.
Charlie is big.
("Charlie" "is" "big" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is not quiet.
("Fiona" "is" "quiet" "-")
Fiona is not red.
("Fiona" "is" "red" "-")
Fiona is not rough.
("Fiona" "is" "rough" "-")
Fiona is young.
("Fiona" "is" "young" "+")
If someone is cold then they are big.
((("someone" "is" "cold" "+")) -> ("someone" "is" "big" "+"))
All rough people are big.
((("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
If Fiona is green and Fiona is rough then Fiona is not red.
((("Fiona" "is" "green" "+") ("Fiona" "is" "rough" "+")) -> ("Fiona" "is" "red" "-"))
Charlie is big.
True
1
proof
[(triple1)]
("Charlie" "is" "big" "+")
triple1
Fiona is not green.
False
1
inv-proof
[(triple3)]
("Fiona" "is" "green" "-")
triple3
Fiona is big.
True
2
proof
[(((triple2) -> rule1))]
("Fiona" "is" "big" "+")
((triple2) -> (rule1 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is not big.
False
2
inv-proof
[(((triple2) -> rule1))]
("Fiona" "is" "big" "-")
((triple2) -> (rule1 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Charlie is not young.
Unknown
inv-random
[@0: Charlie is young.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "young" "-")
Charlie is rough.
Unknown
random
[@0: Charlie is rough.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "rough" "+")
Charlie is not cold.
Unknown
inv-random
[@0: Charlie is cold.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "cold" "-")
Charlie is red.
Unknown
random
[@0: Charlie is red.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "red" "+")
@0: Charlie is big.[(triple1)] Fiona is cold.[(triple2)] Fiona is green.[(triple3)] Fiona is not quiet.[(triple4)] Fiona is not red.[(triple5)] Fiona is not rough.[(triple6)] Fiona is young.[(triple7)] @1: Fiona is big.[(((triple2) -> rule1))]
Charlie is big.
("Charlie" "is" "big" "+")
triple1
Fiona is cold.
("Fiona" "is" "cold" "+")
triple2
Fiona is green.
("Fiona" "is" "green" "+")
triple3
Fiona is not quiet.
("Fiona" "is" "quiet" "-")
triple4
Fiona is not red.
("Fiona" "is" "red" "-")
triple5
Fiona is not rough.
("Fiona" "is" "rough" "-")
triple6
Fiona is young.
("Fiona" "is" "young" "+")
triple7
Fiona is big.
("Fiona" "is" "big" "+")
((triple2) -> (rule1 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1