Erin is blue. Erin is cold. Erin is furry. Erin is kind. Erin is nice. Erin is rough. Erin is white. Gary is cold. Gary is furry. Gary is nice. Harry is blue. Harry is cold. Harry is furry. Harry is kind. Harry is rough. Harry is white. All kind, nice people are furry. Blue people are white.
Erin is blue.
("Erin" "is" "blue" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is white.
("Erin" "is" "white" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is white.
("Harry" "is" "white" "+")
All kind, nice people are furry.
((("someone" "is" "kind" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "furry" "+"))
Blue people are white.
((("someone" "is" "blue" "+")) -> ("someone" "is" "white" "+"))
Erin is cold.
True
1
proof
[(triple2)]
("Erin" "is" "cold" "+")
triple2
Erin is not furry.
False
1
inv-proof
[(triple3 OR ((triple4 triple5) -> rule1))]
("Erin" "is" "furry" "-")
triple3
((triple4 triple5) -> (rule1 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Gary is not white.
Unknown
inv-rconc
[@1: Gary is white.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "white" "-")
Gary is kind.
Unknown
random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "+")
@0: Erin is blue.[(triple1)] Erin is cold.[(triple2)] Erin is furry.[(triple3 OR ((triple4 triple5) -> rule1))] Erin is kind.[(triple4)] Erin is nice.[(triple5)] Erin is rough.[(triple6)] Erin is white.[(triple7 OR ((triple1) -> rule2))] Gary is cold.[(triple8)] Gary is furry.[(triple9)] Gary is nice.[(triple10)] Harry is blue.[(triple11)] Harry is cold.[(triple12)] Harry is furry.[(triple13)] Harry is kind.[(triple14)] Harry is rough.[(triple15)] Harry is white.[(triple16 OR ((triple11) -> rule2))]
Erin is blue.
("Erin" "is" "blue" "+")
triple1
Erin is cold.
("Erin" "is" "cold" "+")
triple2
Erin is furry.
("Erin" "is" "furry" "+")
triple3
((triple4 triple5) -> (rule1 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
triple4
Erin is nice.
("Erin" "is" "nice" "+")
triple5
Erin is rough.
("Erin" "is" "rough" "+")
triple6
Erin is white.
("Erin" "is" "white" "+")
triple7
((triple1) -> (rule2 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
triple8
Gary is furry.
("Gary" "is" "furry" "+")
triple9
Gary is nice.
("Gary" "is" "nice" "+")
triple10
Harry is blue.
("Harry" "is" "blue" "+")
triple11
Harry is cold.
("Harry" "is" "cold" "+")
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
((triple11) -> (rule2 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1