Erin is not round. Fiona is not cold. Fiona is rough. Fiona is round. Fiona is not smart. Fiona is white. Gary is blue. Gary is rough. Gary is round. Harry is not big. Harry is blue. Harry is not cold. Harry is round. Harry is smart. Harry is white. If someone is cold then they are blue. If someone is round and not blue then they are big.
Erin is not round.
("Erin" "is" "round" "-")
Fiona is not cold.
("Fiona" "is" "cold" "-")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is not smart.
("Fiona" "is" "smart" "-")
Fiona is white.
("Fiona" "is" "white" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is round.
("Gary" "is" "round" "+")
Harry is not big.
("Harry" "is" "big" "-")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is not cold.
("Harry" "is" "cold" "-")
Harry is round.
("Harry" "is" "round" "+")
Harry is smart.
("Harry" "is" "smart" "+")
Harry is white.
("Harry" "is" "white" "+")
If someone is cold then they are blue.
((("someone" "is" "cold" "+")) -> ("someone" "is" "blue" "+"))
If someone is round and not blue then they are big.
((("someone" "is" "round" "+") ("someone" "is" "blue" "~")) -> ("someone" "is" "big" "+"))
Harry is not cold.
True
1
proof
[(triple12)]
("Harry" "is" "cold" "-")
triple12
Fiona is cold.
False
1
inv-proof
[(triple2)]
("Fiona" "is" "cold" "+")
triple2
Gary is not big.
Unknown
inv-rconc
[@1: Gary is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "big" "-")
Gary is cold.
Unknown
random
[@0: Gary is cold.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "cold" "+")
@0: Erin is not round.[(triple1)] Fiona is not cold.[(triple2)] Fiona is not smart.[(triple5)] Fiona is rough.[(triple3)] Fiona is round.[(triple4)] Fiona is white.[(triple6)] Gary is blue.[(triple7)] Gary is rough.[(triple8)] Gary is round.[(triple9)] Harry is blue.[(triple11)] Harry is not big.[(triple10)] Harry is not cold.[(triple12)] Harry is round.[(triple13)] Harry is smart.[(triple14)] Harry is white.[(triple15)]
Erin is not round.
("Erin" "is" "round" "-")
triple1
Fiona is not cold.
("Fiona" "is" "cold" "-")
triple2
Fiona is not smart.
("Fiona" "is" "smart" "-")
triple5
Fiona is rough.
("Fiona" "is" "rough" "+")
triple3
Fiona is round.
("Fiona" "is" "round" "+")
triple4
Fiona is white.
("Fiona" "is" "white" "+")
triple6
Gary is blue.
("Gary" "is" "blue" "+")
triple7
Gary is rough.
("Gary" "is" "rough" "+")
triple8
Gary is round.
("Gary" "is" "round" "+")
triple9
Harry is blue.
("Harry" "is" "blue" "+")
triple11
Harry is not big.
("Harry" "is" "big" "-")
triple10
Harry is not cold.
("Harry" "is" "cold" "-")
triple12
Harry is round.
("Harry" "is" "round" "+")
triple13
Harry is smart.
("Harry" "is" "smart" "+")
triple14
Harry is white.
("Harry" "is" "white" "+")
triple15