Charlie is quiet. Charlie is white. Fiona is not green. Fiona is nice. Fiona is quiet. Fiona is rough. Fiona is white. If something is nice and quiet then it is not green. If Fiona is rough and Fiona is quiet then Fiona is blue.
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Fiona is not green.
("Fiona" "is" "green" "-")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is white.
("Fiona" "is" "white" "+")
If something is nice and quiet then it is not green.
((("something" "is" "nice" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "green" "-"))
If Fiona is rough and Fiona is quiet then Fiona is blue.
((("Fiona" "is" "rough" "+") ("Fiona" "is" "quiet" "+")) -> ("Fiona" "is" "blue" "+"))
Fiona is white.
True
1
proof
[(triple7)]
("Fiona" "is" "white" "+")
triple7
Fiona is not rough.
False
1
inv-proof
[(triple6)]
("Fiona" "is" "rough" "-")
triple6
Fiona is blue.
True
3
proof
[(((triple6 triple5) -> rule2))]
("Fiona" "is" "blue" "+")
((triple6 triple5) -> (rule2 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is not blue.
False
3
inv-proof
[(((triple6 triple5) -> rule2))]
("Fiona" "is" "blue" "-")
((triple6 triple5) -> (rule2 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is not big.
Unknown
inv-random
[@0: Fiona is big.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "big" "-")
Charlie is green.
Unknown
random
[@0: Charlie is green.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "green" "+")
Charlie is not blue.
Unknown
inv-random
[@0: Charlie is blue.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "blue" "-")
Charlie is big.
Unknown
random
[@0: Charlie is big.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "big" "+")
@0: Charlie is quiet.[(triple1)] Charlie is white.[(triple2)] Fiona is nice.[(triple4)] Fiona is not green.[(triple3 OR ((triple4 triple5) -> rule1))] Fiona is quiet.[(triple5)] Fiona is rough.[(triple6)] Fiona is white.[(triple7)] @1: Fiona is blue.[(((triple6 triple5) -> rule2))]
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple1
Charlie is white.
("Charlie" "is" "white" "+")
triple2
Fiona is nice.
("Fiona" "is" "nice" "+")
triple4
Fiona is not green.
("Fiona" "is" "green" "-")
triple3
((triple4 triple5) -> (rule1 % int1))
Fiona is not green.
("Fiona" "is" "green" "-")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple5
Fiona is rough.
("Fiona" "is" "rough" "+")
triple6
Fiona is white.
("Fiona" "is" "white" "+")
triple7
Fiona is blue.
("Fiona" "is" "blue" "+")
((triple6 triple5) -> (rule2 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1