Bob is red. Bob is not round. Bob is white. Bob is young. Dave is blue. Dave is furry. Dave is green. Dave is red. Dave is round. Dave is white. Dave is not young. Erin is blue. Erin is not furry. Erin is red. Erin is round. If something is blue then it is white. If Erin is furry and Erin is red then Erin is blue. White, red things are green.
Bob is red.
("Bob" "is" "red" "+")
Bob is not round.
("Bob" "is" "round" "-")
Bob is white.
("Bob" "is" "white" "+")
Bob is young.
("Bob" "is" "young" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is white.
("Dave" "is" "white" "+")
Dave is not young.
("Dave" "is" "young" "-")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is not furry.
("Erin" "is" "furry" "-")
Erin is red.
("Erin" "is" "red" "+")
Erin is round.
("Erin" "is" "round" "+")
If something is blue then it is white.
((("something" "is" "blue" "+")) -> ("something" "is" "white" "+"))
If Erin is furry and Erin is red then Erin is blue.
((("Erin" "is" "furry" "+") ("Erin" "is" "red" "+")) -> ("Erin" "is" "blue" "+"))
White, red things are green.
((("something" "is" "white" "+") ("something" "is" "red" "+")) -> ("something" "is" "green" "+"))
Dave is blue.
True
1
proof
[(triple5)]
("Dave" "is" "blue" "+")
triple5
Bob is not young.
False
1
inv-proof
[(triple4)]
("Bob" "is" "young" "-")
triple4
Erin is white.
True
2
proof
[(((triple12) -> rule1))]
("Erin" "is" "white" "+")
((triple12) -> (rule1 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is not white.
False
2
inv-proof
[(((triple12) -> rule1))]
("Erin" "is" "white" "-")
((triple12) -> (rule1 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is green.
True
4
proof
[(((((triple12) -> rule1) triple14) -> rule3))]
("Erin" "is" "green" "+")
((((triple12) -> (rule1 % int2)) triple14) -> (rule3 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is not green.
False
4
inv-proof
[(((((triple12) -> rule1) triple14) -> rule3))]
("Erin" "is" "green" "-")
((((triple12) -> (rule1 % int2)) triple14) -> (rule3 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
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 not round.[(triple2)] Bob is red.[(triple1)] Bob is white.[(triple3)] Bob is young.[(triple4)] Dave is blue.[(triple5)] Dave is furry.[(triple6)] Dave is green.[(triple7 OR ((triple10 triple8) -> rule3) OR ((((triple5) -> rule1) triple8) -> rule3))] Dave is not young.[(triple11)] Dave is red.[(triple8)] Dave is round.[(triple9)] Dave is white.[(triple10 OR ((triple5) -> rule1))] Erin is blue.[(triple12)] Erin is not furry.[(triple13)] Erin is red.[(triple14)] Erin is round.[(triple15)] @1: Bob is green.[(((triple3 triple1) -> rule3))] Erin is white.[(((triple12) -> rule1))] @2: Erin is green.[(((((triple12) -> rule1) triple14) -> rule3))]
Bob is not round.
("Bob" "is" "round" "-")
triple2
Bob is red.
("Bob" "is" "red" "+")
triple1
Bob is white.
("Bob" "is" "white" "+")
triple3
Bob is young.
("Bob" "is" "young" "+")
triple4
Dave is blue.
("Dave" "is" "blue" "+")
triple5
Dave is furry.
("Dave" "is" "furry" "+")
triple6
Dave is green.
("Dave" "is" "green" "+")
triple7
((triple10 triple8) -> (rule3 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
((((triple5) -> (rule1 % int2)) triple8) -> (rule3 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is not young.
("Dave" "is" "young" "-")
triple11
Dave is red.
("Dave" "is" "red" "+")
triple8
Dave is round.
("Dave" "is" "round" "+")
triple9
Dave is white.
("Dave" "is" "white" "+")
triple10
((triple5) -> (rule1 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
triple12
Erin is not furry.
("Erin" "is" "furry" "-")
triple13
Erin is red.
("Erin" "is" "red" "+")
triple14
Erin is round.
("Erin" "is" "round" "+")
triple15
Bob is green.
("Bob" "is" "green" "+")
((triple3 triple1) -> (rule3 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
((triple12) -> (rule1 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
((((triple12) -> (rule1 % int2)) triple14) -> (rule3 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2