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