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