Charlie is big. Charlie is furry. Charlie is nice. Charlie is red. Fiona is furry. Fiona is kind. Gary is red. If Gary is furry then Gary is cold. If something is red then it is furry.
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Gary is red.
("Gary" "is" "red" "+")
If Gary is furry then Gary is cold.
((("Gary" "is" "furry" "+")) -> ("Gary" "is" "cold" "+"))
If something is red then it is furry.
((("something" "is" "red" "+")) -> ("something" "is" "furry" "+"))
Charlie is furry.
True
1
proof
[(triple2 OR ((triple4) -> rule2))]
("Charlie" "is" "furry" "+")
triple2
((triple4) -> (rule2 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is not nice.
False
1
inv-proof
[(triple3)]
("Charlie" "is" "nice" "-")
triple3
Gary is furry.
True
2
proof
[(((triple7) -> rule2))]
("Gary" "is" "furry" "+")
((triple7) -> (rule2 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is not furry.
False
2
inv-proof
[(((triple7) -> rule2))]
("Gary" "is" "furry" "-")
((triple7) -> (rule2 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is cold.
True
3
proof
[(((((triple7) -> rule2)) -> rule1))]
("Gary" "is" "cold" "+")
((((triple7) -> (rule2 % int2))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is not cold.
False
3
inv-proof
[(((((triple7) -> rule2)) -> rule1))]
("Gary" "is" "cold" "-")
((((triple7) -> (rule2 % int2))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Charlie is not quiet.
Unknown
inv-random
[@0: Charlie is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "quiet" "-")
Fiona is nice.
Unknown
random
[@0: Fiona is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "nice" "+")
Fiona is not cold.
Unknown
inv-random
[@0: Fiona is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "cold" "-")
Gary is nice.
Unknown
random
[@0: Gary is nice.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "nice" "+")
Fiona is not big.
Unknown
inv-random
[@0: Fiona is big.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "big" "-")
Fiona is quiet.
Unknown
random
[@0: Fiona is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "quiet" "+")
@0: Charlie is big.[(triple1)] Charlie is furry.[(triple2 OR ((triple4) -> rule2))] Charlie is nice.[(triple3)] Charlie is red.[(triple4)] Fiona is furry.[(triple5)] Fiona is kind.[(triple6)] Gary is red.[(triple7)] @1: Gary is furry.[(((triple7) -> rule2))] @2: Gary is cold.[(((((triple7) -> rule2)) -> rule1))]
Charlie is big.
("Charlie" "is" "big" "+")
triple1
Charlie is furry.
("Charlie" "is" "furry" "+")
triple2
((triple4) -> (rule2 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
triple3
Charlie is red.
("Charlie" "is" "red" "+")
triple4
Fiona is furry.
("Fiona" "is" "furry" "+")
triple5
Fiona is kind.
("Fiona" "is" "kind" "+")
triple6
Gary is red.
("Gary" "is" "red" "+")
triple7
Gary is furry.
("Gary" "is" "furry" "+")
((triple7) -> (rule2 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
((((triple7) -> (rule2 % int2))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2