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