Bob is red. Charlie is kind. Charlie is red. Erin is big. Erin is nice. Gary is blue. Gary is young. Kind, big things are red. Blue things are nice. If Erin is furry then Erin is blue.
Bob is red.
("Bob" "is" "red" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is young.
("Gary" "is" "young" "+")
Kind, big things are red.
((("something" "is" "kind" "+") ("something" "is" "big" "+")) -> ("something" "is" "red" "+"))
Blue things are nice.
((("something" "is" "blue" "+")) -> ("something" "is" "nice" "+"))
If Erin is furry then Erin is blue.
((("Erin" "is" "furry" "+")) -> ("Erin" "is" "blue" "+"))
Erin is big.
True
1
proof
[(triple4)]
("Erin" "is" "big" "+")
triple4
Charlie is not kind.
False
1
inv-proof
[(triple2)]
("Charlie" "is" "kind" "-")
triple2
Gary is nice.
True
2
proof
[(((triple6) -> rule2))]
("Gary" "is" "nice" "+")
((triple6) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is not nice.
False
2
inv-proof
[(((triple6) -> rule2))]
("Gary" "is" "nice" "-")
((triple6) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Erin is not red.
Unknown
inv-rconc
[@1: Erin is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Erin" "is" "red" "-")
Bob is nice.
Unknown
rconc
[@1: Bob is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "nice" "+")
Charlie is not big.
Unknown
inv-random
[@0: Charlie is big.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "big" "-")
Bob is furry.
Unknown
random
[@0: Bob is furry.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "furry" "+")
@0: Bob is red.[(triple1)] Charlie is kind.[(triple2)] Charlie is red.[(triple3)] Erin is big.[(triple4)] Erin is nice.[(triple5)] Gary is blue.[(triple6)] Gary is young.[(triple7)] @1: Gary is nice.[(((triple6) -> rule2))]
Bob is red.
("Bob" "is" "red" "+")
triple1
Charlie is kind.
("Charlie" "is" "kind" "+")
triple2
Charlie is red.
("Charlie" "is" "red" "+")
triple3
Erin is big.
("Erin" "is" "big" "+")
triple4
Erin is nice.
("Erin" "is" "nice" "+")
triple5
Gary is blue.
("Gary" "is" "blue" "+")
triple6
Gary is young.
("Gary" "is" "young" "+")
triple7
Gary is nice.
("Gary" "is" "nice" "+")
((triple6) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1