Bob is blue. Bob is green. Bob is quiet. Bob is young. Erin is blue. Erin is green. Erin is red. Erin is young. Harry is red. Harry is young. All kind things are blue. All blue, red things are quiet. Red, white things are blue. All blue things are green. If Erin is green then Erin is quiet. Red, green things are white.
Bob is blue.
("Bob" "is" "blue" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is young.
("Bob" "is" "young" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is young.
("Erin" "is" "young" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is young.
("Harry" "is" "young" "+")
All kind things are blue.
((("something" "is" "kind" "+")) -> ("something" "is" "blue" "+"))
All blue, red things are quiet.
((("something" "is" "blue" "+") ("something" "is" "red" "+")) -> ("something" "is" "quiet" "+"))
Red, white things are blue.
((("something" "is" "red" "+") ("something" "is" "white" "+")) -> ("something" "is" "blue" "+"))
All blue things are green.
((("something" "is" "blue" "+")) -> ("something" "is" "green" "+"))
If Erin is green then Erin is quiet.
((("Erin" "is" "green" "+")) -> ("Erin" "is" "quiet" "+"))
Red, green things are white.
((("something" "is" "red" "+") ("something" "is" "green" "+")) -> ("something" "is" "white" "+"))
Erin is red.
True
1
proof
[(triple7)]
("Erin" "is" "red" "+")
triple7
Erin is not young.
False
1
inv-proof
[(triple8)]
("Erin" "is" "young" "-")
triple8
Erin is white.
True
3
proof
[(((triple7 triple6) -> rule6) OR ((triple7 ((triple5) -> rule4)) -> rule6))]
("Erin" "is" "white" "+")
((triple7 triple6) -> (rule6 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
((triple7 ((triple5) -> (rule4 % int2))) -> (rule6 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is not quiet.
False
2
inv-proof
[(((triple6) -> rule5) OR ((triple5 triple7) -> rule2) OR ((((triple5) -> rule4)) -> rule5) OR ((((triple7 ((triple7 triple6) -> rule6)) -> rule3) triple7) -> rule2))]
("Erin" "is" "quiet" "-")
((triple6) -> (rule5 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
((triple5 triple7) -> (rule2 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
((((triple5) -> (rule4 % int2))) -> (rule5 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
((((triple7 ((triple7 triple6) -> (rule6 % int3))) -> (rule3 % int2)) triple7) -> (rule2 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Bob is not white.
Unknown
inv-rconc
[@1: Bob is white.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Bob" "is" "white" "-")
Harry is green.
Unknown
rconc
[@3: Harry is green.[CWA. Example of deepest failure = (rule4 <- rule3 <- rule6 <- FAIL)]]
("Harry" "is" "green" "+")
Bob is not red.
Unknown
inv-random
[@0: Bob is red.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "red" "-")
Erin is kind.
Unknown
random
[@0: Erin is kind.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "kind" "+")
@0: Bob is blue.[(triple1)] Bob is green.[(triple2 OR ((triple1) -> rule4))] Bob is quiet.[(triple3)] Bob is young.[(triple4)] Erin is blue.[(triple5 OR ((triple7 ((triple7 triple6) -> rule6)) -> rule3))] Erin is green.[(triple6 OR ((triple5) -> rule4))] Erin is red.[(triple7)] Erin is young.[(triple8)] Harry is red.[(triple9)] Harry is young.[(triple10)] @1: Erin is quiet.[(((triple6) -> rule5) OR ((triple5 triple7) -> rule2) OR ((((triple5) -> rule4)) -> rule5) OR ((((triple7 ((triple7 triple6) -> rule6)) -> rule3) triple7) -> rule2))] Erin is white.[(((triple7 triple6) -> rule6) OR ((triple7 ((triple5) -> rule4)) -> rule6))]
Bob is blue.
("Bob" "is" "blue" "+")
triple1
Bob is green.
("Bob" "is" "green" "+")
triple2
((triple1) -> (rule4 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
triple3
Bob is young.
("Bob" "is" "young" "+")
triple4
Erin is blue.
("Erin" "is" "blue" "+")
triple5
((triple7 ((triple7 triple6) -> (rule6 % int2))) -> (rule3 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
triple6
((triple5) -> (rule4 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
triple7
Erin is young.
("Erin" "is" "young" "+")
triple8
Harry is red.
("Harry" "is" "red" "+")
triple9
Harry is young.
("Harry" "is" "young" "+")
triple10
Erin is quiet.
("Erin" "is" "quiet" "+")
((triple6) -> (rule5 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
((triple5 triple7) -> (rule2 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
((((triple5) -> (rule4 % int2))) -> (rule5 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
((((triple7 ((triple7 triple6) -> (rule6 % int3))) -> (rule3 % int2)) triple7) -> (rule2 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
((triple7 triple6) -> (rule6 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
((triple7 ((triple5) -> (rule4 % int2))) -> (rule6 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2