Bob is quiet. Bob is young. Erin is blue. Erin is kind. Erin is quiet. Erin is red. Gary is quiet. All red people are kind. If Erin is young then Erin is furry. If someone is blue then they are white. Kind people are quiet. Blue, white people are quiet. Furry people are red.
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is young.
("Bob" "is" "young" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is red.
("Erin" "is" "red" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
All red people are kind.
((("someone" "is" "red" "+")) -> ("someone" "is" "kind" "+"))
If Erin is young then Erin is furry.
((("Erin" "is" "young" "+")) -> ("Erin" "is" "furry" "+"))
If someone is blue then they are white.
((("someone" "is" "blue" "+")) -> ("someone" "is" "white" "+"))
Kind people are quiet.
((("someone" "is" "kind" "+")) -> ("someone" "is" "quiet" "+"))
Blue, white people are quiet.
((("someone" "is" "blue" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "quiet" "+"))
Furry people are red.
((("someone" "is" "furry" "+")) -> ("someone" "is" "red" "+"))
Erin is blue.
True
1
proof
[(triple3)]
("Erin" "is" "blue" "+")
triple3
Bob is not quiet.
False
1
inv-proof
[(triple1)]
("Bob" "is" "quiet" "-")
triple1
Erin is white.
True
2
proof
[(((triple3) -> rule3))]
("Erin" "is" "white" "+")
((triple3) -> (rule3 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is not white.
False
2
inv-proof
[(((triple3) -> rule3))]
("Erin" "is" "white" "-")
((triple3) -> (rule3 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Bob is not red.
Unknown
inv-rconc
[@1: Bob is red.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Bob" "is" "red" "-")
Bob is kind.
Unknown
rconc
[@2: Bob is kind.[CWA. Example of deepest failure = (rule1 <- rule6 <- FAIL)]]
("Bob" "is" "kind" "+")
Bob is not furry.
Unknown
inv-random
[@0: Bob is furry.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "furry" "-")
Erin is young.
Unknown
random
[@0: Erin is young.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "young" "+")
@0: Bob is quiet.[(triple1)] Bob is young.[(triple2)] Erin is blue.[(triple3)] Erin is kind.[(triple4 OR ((triple6) -> rule1))] Erin is quiet.[(triple5 OR ((triple4) -> rule4) OR ((((triple6) -> rule1)) -> rule4) OR ((triple3 ((triple3) -> rule3)) -> rule5))] Erin is red.[(triple6)] Gary is quiet.[(triple7)] @1: Erin is white.[(((triple3) -> rule3))]
Bob is quiet.
("Bob" "is" "quiet" "+")
triple1
Bob is young.
("Bob" "is" "young" "+")
triple2
Erin is blue.
("Erin" "is" "blue" "+")
triple3
Erin is kind.
("Erin" "is" "kind" "+")
triple4
((triple6) -> (rule1 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
triple5
((triple4) -> (rule4 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
((((triple6) -> (rule1 % int2))) -> (rule4 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
((triple3 ((triple3) -> (rule3 % int2))) -> (rule5 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
triple6
Gary is quiet.
("Gary" "is" "quiet" "+")
triple7
Erin is white.
("Erin" "is" "white" "+")
((triple3) -> (rule3 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1