Charlie is red. Erin is kind. Fiona is cold. Fiona is furry. Fiona is kind. Fiona is nice. Fiona is red. Gary is furry. Gary is nice. Gary is white. If Gary is nice and Gary is white then Gary is kind.
Charlie is red.
("Charlie" "is" "red" "+")
Erin is kind.
("Erin" "is" "kind" "+")
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 red.
("Fiona" "is" "red" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is white.
("Gary" "is" "white" "+")
If Gary is nice and Gary is white then Gary is kind.
((("Gary" "is" "nice" "+") ("Gary" "is" "white" "+")) -> ("Gary" "is" "kind" "+"))
Gary is white.
True
1
proof
[(triple10)]
("Gary" "is" "white" "+")
triple10
Gary is not nice.
False
1
inv-proof
[(triple9)]
("Gary" "is" "nice" "-")
triple9
Gary is kind.
True
3
proof
[(((triple9 triple10) -> rule1))]
("Gary" "is" "kind" "+")
((triple9 triple10) -> (rule1 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is not kind.
False
3
inv-proof
[(((triple9 triple10) -> rule1))]
("Gary" "is" "kind" "-")
((triple9 triple10) -> (rule1 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is not cold.
Unknown
inv-random
[@0: Gary is cold.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "cold" "-")
Erin is young.
Unknown
random
[@0: Erin is young.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "young" "+")
Charlie is not furry.
Unknown
inv-random
[@0: Charlie is furry.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "furry" "-")
Fiona is white.
Unknown
random
[@0: Fiona is white.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "white" "+")
@0: Charlie is red.[(triple1)] Erin is kind.[(triple2)] Fiona is cold.[(triple3)] Fiona is furry.[(triple4)] Fiona is kind.[(triple5)] Fiona is nice.[(triple6)] Fiona is red.[(triple7)] Gary is furry.[(triple8)] Gary is nice.[(triple9)] Gary is white.[(triple10)] @1: Gary is kind.[(((triple9 triple10) -> rule1))]
Charlie is red.
("Charlie" "is" "red" "+")
triple1
Erin is kind.
("Erin" "is" "kind" "+")
triple2
Fiona is cold.
("Fiona" "is" "cold" "+")
triple3
Fiona is furry.
("Fiona" "is" "furry" "+")
triple4
Fiona is kind.
("Fiona" "is" "kind" "+")
triple5
Fiona is nice.
("Fiona" "is" "nice" "+")
triple6
Fiona is red.
("Fiona" "is" "red" "+")
triple7
Gary is furry.
("Gary" "is" "furry" "+")
triple8
Gary is nice.
("Gary" "is" "nice" "+")
triple9
Gary is white.
("Gary" "is" "white" "+")
triple10
Gary is kind.
("Gary" "is" "kind" "+")
((triple9 triple10) -> (rule1 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1