Charlie is nice. Erin is cold. Erin is nice. Gary is cold. Gary is nice. Gary is round. Gary is young. Round people are red. If Charlie is furry then Charlie is round.
Charlie is nice.
("Charlie" "is" "nice" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is young.
("Gary" "is" "young" "+")
Round people are red.
((("someone" "is" "round" "+")) -> ("someone" "is" "red" "+"))
If Charlie is furry then Charlie is round.
((("Charlie" "is" "furry" "+")) -> ("Charlie" "is" "round" "+"))
Gary is young.
True
1
proof
[(triple7)]
("Gary" "is" "young" "+")
triple7
Gary is not cold.
False
1
inv-proof
[(triple4)]
("Gary" "is" "cold" "-")
triple4
Gary is red.
True
2
proof
[(((triple6) -> rule1))]
("Gary" "is" "red" "+")
((triple6) -> (rule1 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is not red.
False
2
inv-proof
[(((triple6) -> rule1))]
("Gary" "is" "red" "-")
((triple6) -> (rule1 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Erin is not red.
Unknown
inv-rconc
[@1: Erin is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Erin" "is" "red" "-")
Charlie is round.
Unknown
rconc
[@1: Charlie is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "round" "+")
Erin is not round.
Unknown
inv-random
[@0: Erin is round.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "round" "-")
Erin is quiet.
Unknown
random
[@0: Erin is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "quiet" "+")
@0: Charlie is nice.[(triple1)] Erin is cold.[(triple2)] Erin is nice.[(triple3)] Gary is cold.[(triple4)] Gary is nice.[(triple5)] Gary is round.[(triple6)] Gary is young.[(triple7)] @1: Gary is red.[(((triple6) -> rule1))]
Charlie is nice.
("Charlie" "is" "nice" "+")
triple1
Erin is cold.
("Erin" "is" "cold" "+")
triple2
Erin is nice.
("Erin" "is" "nice" "+")
triple3
Gary is cold.
("Gary" "is" "cold" "+")
triple4
Gary is nice.
("Gary" "is" "nice" "+")
triple5
Gary is round.
("Gary" "is" "round" "+")
triple6
Gary is young.
("Gary" "is" "young" "+")
triple7
Gary is red.
("Gary" "is" "red" "+")
((triple6) -> (rule1 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1