Charlie is blue. Charlie is not cold. Charlie is green. Charlie is quiet. Charlie is not rough. Charlie is round. Charlie is smart. Fiona is quiet. Fiona is rough. Fiona is smart. Smart, round things are quiet.
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is not cold.
("Charlie" "is" "cold" "-")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is not rough.
("Charlie" "is" "rough" "-")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Smart, round things are quiet.
((("something" "is" "smart" "+") ("something" "is" "round" "+")) -> ("something" "is" "quiet" "+"))
Charlie is quiet.
True
1
proof
[(triple4 OR ((triple7 triple6) -> rule1))]
("Charlie" "is" "quiet" "+")
triple4
((triple7 triple6) -> (rule1 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is not blue.
False
1
inv-proof
[(triple1)]
("Charlie" "is" "blue" "-")
triple1
Fiona is not blue.
Unknown
inv-random
[@0: Fiona is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "blue" "-")
Fiona is round.
Unknown
random
[@0: Fiona is round.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "round" "+")
@0: Charlie is blue.[(triple1)] Charlie is green.[(triple3)] Charlie is not cold.[(triple2)] Charlie is not rough.[(triple5)] Charlie is quiet.[(triple4 OR ((triple7 triple6) -> rule1))] Charlie is round.[(triple6)] Charlie is smart.[(triple7)] Fiona is quiet.[(triple8)] Fiona is rough.[(triple9)] Fiona is smart.[(triple10)]
Charlie is blue.
("Charlie" "is" "blue" "+")
triple1
Charlie is green.
("Charlie" "is" "green" "+")
triple3
Charlie is not cold.
("Charlie" "is" "cold" "-")
triple2
Charlie is not rough.
("Charlie" "is" "rough" "-")
triple5
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple4
((triple7 triple6) -> (rule1 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
triple6
Charlie is smart.
("Charlie" "is" "smart" "+")
triple7
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple8
Fiona is rough.
("Fiona" "is" "rough" "+")
triple9
Fiona is smart.
("Fiona" "is" "smart" "+")
triple10