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