Charlie is not big. Charlie is green. Charlie is not rough. Charlie is round. Fiona is big. Fiona is green. Fiona is nice. Fiona is quiet. Fiona is not round. Harry is big. Harry is not green. Harry is not nice. Harry is quiet. Harry is rough. Harry is round. If something is green and nice then it is not round. If something is cold and round then it is not green.
Charlie is not big.
("Charlie" "is" "big" "-")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is not rough.
("Charlie" "is" "rough" "-")
Charlie is round.
("Charlie" "is" "round" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is not round.
("Fiona" "is" "round" "-")
Harry is big.
("Harry" "is" "big" "+")
Harry is not green.
("Harry" "is" "green" "-")
Harry is not nice.
("Harry" "is" "nice" "-")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is round.
("Harry" "is" "round" "+")
If something is green and nice then it is not round.
((("something" "is" "green" "+") ("something" "is" "nice" "+")) -> ("something" "is" "round" "-"))
If something is cold and round then it is not green.
((("something" "is" "cold" "+") ("something" "is" "round" "+")) -> ("something" "is" "green" "-"))
Charlie is round.
True
1
proof
[(triple4)]
("Charlie" "is" "round" "+")
triple4
Harry is not quiet.
False
1
inv-proof
[(triple13)]
("Harry" "is" "quiet" "-")
triple13
Fiona is not cold.
Unknown
inv-random
[@0: Fiona is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "cold" "-")
Fiona is rough.
Unknown
random
[@0: Fiona is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "rough" "+")
@0: Charlie is green.[(triple2)] Charlie is not big.[(triple1)] Charlie is not rough.[(triple3)] Charlie is round.[(triple4)] Fiona is big.[(triple5)] Fiona is green.[(triple6)] Fiona is nice.[(triple7)] Fiona is not round.[(triple9 OR ((triple6 triple7) -> rule1))] Fiona is quiet.[(triple8)] Harry is big.[(triple10)] Harry is not green.[(triple11)] Harry is not nice.[(triple12)] Harry is quiet.[(triple13)] Harry is rough.[(triple14)] Harry is round.[(triple15)]
Charlie is green.
("Charlie" "is" "green" "+")
triple2
Charlie is not big.
("Charlie" "is" "big" "-")
triple1
Charlie is not rough.
("Charlie" "is" "rough" "-")
triple3
Charlie is round.
("Charlie" "is" "round" "+")
triple4
Fiona is big.
("Fiona" "is" "big" "+")
triple5
Fiona is green.
("Fiona" "is" "green" "+")
triple6
Fiona is nice.
("Fiona" "is" "nice" "+")
triple7
Fiona is not round.
("Fiona" "is" "round" "-")
triple9
((triple6 triple7) -> (rule1 % int1))
Fiona is not round.
("Fiona" "is" "round" "-")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple8
Harry is big.
("Harry" "is" "big" "+")
triple10
Harry is not green.
("Harry" "is" "green" "-")
triple11
Harry is not nice.
("Harry" "is" "nice" "-")
triple12
Harry is quiet.
("Harry" "is" "quiet" "+")
triple13
Harry is rough.
("Harry" "is" "rough" "+")
triple14
Harry is round.
("Harry" "is" "round" "+")
triple15