Erin is furry. Erin is quiet. Fiona is big. Fiona is blue. Fiona is cold. Fiona is furry. Fiona is kind. Fiona is rough. Gary is furry. Gary is quiet. Gary is rough. Harry is big. Harry is blue. Harry is cold. Harry is kind. Harry is rough. All quiet, big things are kind. All quiet, kind things are rough.
Erin is furry.
("Erin" "is" "furry" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is rough.
("Harry" "is" "rough" "+")
All quiet, big things are kind.
((("something" "is" "quiet" "+") ("something" "is" "big" "+")) -> ("something" "is" "kind" "+"))
All quiet, kind things are rough.
((("something" "is" "quiet" "+") ("something" "is" "kind" "+")) -> ("something" "is" "rough" "+"))
Gary is quiet.
True
1
proof
[(triple10)]
("Gary" "is" "quiet" "+")
triple10
Erin is not furry.
False
1
inv-proof
[(triple1)]
("Erin" "is" "furry" "-")
triple1
Erin is not rough.
Unknown
inv-rconc
[@2: Erin is rough.[CWA. Example of deepest failure = (rule2 <- rule1 <- FAIL)]]
("Erin" "is" "rough" "-")
Erin is cold.
Unknown
random
[@0: Erin is cold.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "cold" "+")
@0: Erin is furry.[(triple1)] Erin is quiet.[(triple2)] Fiona is big.[(triple3)] Fiona is blue.[(triple4)] Fiona is cold.[(triple5)] Fiona is furry.[(triple6)] Fiona is kind.[(triple7)] Fiona is rough.[(triple8)] Gary is furry.[(triple9)] Gary is quiet.[(triple10)] Gary is rough.[(triple11)] Harry is big.[(triple12)] Harry is blue.[(triple13)] Harry is cold.[(triple14)] Harry is kind.[(triple15)] Harry is rough.[(triple16)]
Erin is furry.
("Erin" "is" "furry" "+")
triple1
Erin is quiet.
("Erin" "is" "quiet" "+")
triple2
Fiona is big.
("Fiona" "is" "big" "+")
triple3
Fiona is blue.
("Fiona" "is" "blue" "+")
triple4
Fiona is cold.
("Fiona" "is" "cold" "+")
triple5
Fiona is furry.
("Fiona" "is" "furry" "+")
triple6
Fiona is kind.
("Fiona" "is" "kind" "+")
triple7
Fiona is rough.
("Fiona" "is" "rough" "+")
triple8
Gary is furry.
("Gary" "is" "furry" "+")
triple9
Gary is quiet.
("Gary" "is" "quiet" "+")
triple10
Gary is rough.
("Gary" "is" "rough" "+")
triple11
Harry is big.
("Harry" "is" "big" "+")
triple12
Harry is blue.
("Harry" "is" "blue" "+")
triple13
Harry is cold.
("Harry" "is" "cold" "+")
triple14
Harry is kind.
("Harry" "is" "kind" "+")
triple15
Harry is rough.
("Harry" "is" "rough" "+")
triple16