Charlie is not blue. Charlie is rough. Charlie is not white. Dave is big. Dave is smart. Fiona is blue. Fiona is round. Fiona is smart. Harry is kind. Harry is round. Rough, round things are kind. If Fiona is smart then Fiona is big.
Charlie is not blue.
("Charlie" "is" "blue" "-")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is not white.
("Charlie" "is" "white" "-")
Dave is big.
("Dave" "is" "big" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is round.
("Harry" "is" "round" "+")
Rough, round things are kind.
((("something" "is" "rough" "+") ("something" "is" "round" "+")) -> ("something" "is" "kind" "+"))
If Fiona is smart then Fiona is big.
((("Fiona" "is" "smart" "+")) -> ("Fiona" "is" "big" "+"))
Harry is kind.
True
1
proof
[(triple9)]
("Harry" "is" "kind" "+")
triple9
Charlie is white.
False
1
inv-proof
[(triple3)]
("Charlie" "is" "white" "+")
triple3
Dave is not kind.
Unknown
inv-rconc
[@1: Dave is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "kind" "-")
Harry is white.
Unknown
random
[@0: Harry is white.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "white" "+")
@0: Charlie is not blue.[(triple1)] Charlie is not white.[(triple3)] Charlie is rough.[(triple2)] Dave is big.[(triple4)] Dave is smart.[(triple5)] Fiona is blue.[(triple6)] Fiona is round.[(triple7)] Fiona is smart.[(triple8)] Harry is kind.[(triple9)] Harry is round.[(triple10)] @1: Fiona is big.[(((triple8) -> rule2))]
Charlie is not blue.
("Charlie" "is" "blue" "-")
triple1
Charlie is not white.
("Charlie" "is" "white" "-")
triple3
Charlie is rough.
("Charlie" "is" "rough" "+")
triple2
Dave is big.
("Dave" "is" "big" "+")
triple4
Dave is smart.
("Dave" "is" "smart" "+")
triple5
Fiona is blue.
("Fiona" "is" "blue" "+")
triple6
Fiona is round.
("Fiona" "is" "round" "+")
triple7
Fiona is smart.
("Fiona" "is" "smart" "+")
triple8
Harry is kind.
("Harry" "is" "kind" "+")
triple9
Harry is round.
("Harry" "is" "round" "+")
triple10
Fiona is big.
("Fiona" "is" "big" "+")
((triple8) -> (rule2 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1