Fiona is big. Fiona is not blue. Fiona is cold. Fiona is quiet. Fiona is red. Fiona is rough. Harry is big. Harry is cold. Harry is not quiet. Harry is red. Harry is rough. Harry is white. Blue, big people are rough. All quiet, white people are rough. If someone is quiet and not red then they are blue.
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is not blue.
("Fiona" "is" "blue" "-")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is not quiet.
("Harry" "is" "quiet" "-")
Harry is red.
("Harry" "is" "red" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is white.
("Harry" "is" "white" "+")
Blue, big people are rough.
((("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "rough" "+"))
All quiet, white people are rough.
((("someone" "is" "quiet" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "rough" "+"))
If someone is quiet and not red then they are blue.
((("someone" "is" "quiet" "+") ("someone" "is" "red" "~")) -> ("someone" "is" "blue" "+"))
Fiona is red.
True
1
proof
[(triple5)]
("Fiona" "is" "red" "+")
triple5
Harry is not cold.
False
1
inv-proof
[(triple8)]
("Harry" "is" "cold" "-")
triple8
Harry is not blue.
Unknown
inv-rconc
[@1: Harry is blue.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "blue" "-")
Fiona is white.
Unknown
random
[@0: Fiona is white.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "white" "+")
@0: Fiona is big.[(triple1)] Fiona is cold.[(triple3)] Fiona is not blue.[(triple2)] Fiona is quiet.[(triple4)] Fiona is red.[(triple5)] Fiona is rough.[(triple6)] Harry is big.[(triple7)] Harry is cold.[(triple8)] Harry is not quiet.[(triple9)] Harry is red.[(triple10)] Harry is rough.[(triple11)] Harry is white.[(triple12)]
Fiona is big.
("Fiona" "is" "big" "+")
triple1
Fiona is cold.
("Fiona" "is" "cold" "+")
triple3
Fiona is not blue.
("Fiona" "is" "blue" "-")
triple2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple4
Fiona is red.
("Fiona" "is" "red" "+")
triple5
Fiona is rough.
("Fiona" "is" "rough" "+")
triple6
Harry is big.
("Harry" "is" "big" "+")
triple7
Harry is cold.
("Harry" "is" "cold" "+")
triple8
Harry is not quiet.
("Harry" "is" "quiet" "-")
triple9
Harry is red.
("Harry" "is" "red" "+")
triple10
Harry is rough.
("Harry" "is" "rough" "+")
triple11
Harry is white.
("Harry" "is" "white" "+")
triple12