Bob is blue. Bob is cold. Bob is green. Bob is young. Dave is blue. Dave is furry. Dave is green. Dave is white. Dave is young. Fiona is blue. Fiona is cold. Fiona is furry. Fiona is green. Fiona is red. Fiona is white. Fiona is young. If someone is green then they are cold. Young people are red. If someone is furry and white then they are green.
Bob is blue.
("Bob" "is" "blue" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is green.
("Bob" "is" "green" "+")
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 white.
("Dave" "is" "white" "+")
Dave is young.
("Dave" "is" "young" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Fiona is young.
("Fiona" "is" "young" "+")
If someone is green then they are cold.
((("someone" "is" "green" "+")) -> ("someone" "is" "cold" "+"))
Young people are red.
((("someone" "is" "young" "+")) -> ("someone" "is" "red" "+"))
If someone is furry and white then they are green.
((("someone" "is" "furry" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "green" "+"))
Bob is young.
True
1
proof
[(triple4)]
("Bob" "is" "young" "+")
triple4
Bob is not young.
False
1
inv-proof
[(triple4)]
("Bob" "is" "young" "-")
triple4
Dave is cold.
True
2
proof
[(((triple7) -> rule1) OR ((((triple6 triple8) -> rule3)) -> rule1))]
("Dave" "is" "cold" "+")
((triple7) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
((((triple6 triple8) -> (rule3 % int2))) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is not cold.
False
2
inv-proof
[(((triple7) -> rule1) OR ((((triple6 triple8) -> rule3)) -> rule1))]
("Dave" "is" "cold" "-")
((triple7) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
((((triple6 triple8) -> (rule3 % int2))) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Bob is not furry.
Unknown
inv-random
[@0: Bob is furry.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "furry" "-")
Bob is white.
Unknown
random
[@0: Bob is white.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "white" "+")
@0: Bob is blue.[(triple1)] Bob is cold.[(triple2 OR ((triple3) -> rule1))] Bob is green.[(triple3)] Bob is young.[(triple4)] Dave is blue.[(triple5)] Dave is furry.[(triple6)] Dave is green.[(triple7 OR ((triple6 triple8) -> rule3))] Dave is white.[(triple8)] Dave is young.[(triple9)] Fiona is blue.[(triple10)] Fiona is cold.[(triple11 OR ((triple13) -> rule1) OR ((((triple12 triple15) -> rule3)) -> rule1))] Fiona is furry.[(triple12)] Fiona is green.[(triple13 OR ((triple12 triple15) -> rule3))] Fiona is red.[(triple14 OR ((triple16) -> rule2))] Fiona is white.[(triple15)] Fiona is young.[(triple16)] @1: Bob is red.[(((triple4) -> rule2))] Dave is cold.[(((triple7) -> rule1) OR ((((triple6 triple8) -> rule3)) -> rule1))] Dave is red.[(((triple9) -> rule2))]
Bob is blue.
("Bob" "is" "blue" "+")
triple1
Bob is cold.
("Bob" "is" "cold" "+")
triple2
((triple3) -> (rule1 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
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
((triple6 triple8) -> (rule3 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
triple8
Dave is young.
("Dave" "is" "young" "+")
triple9
Fiona is blue.
("Fiona" "is" "blue" "+")
triple10
Fiona is cold.
("Fiona" "is" "cold" "+")
triple11
((triple13) -> (rule1 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
((((triple12 triple15) -> (rule3 % int2))) -> (rule1 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
triple12
Fiona is green.
("Fiona" "is" "green" "+")
triple13
((triple12 triple15) -> (rule3 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
triple14
((triple16) -> (rule2 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
triple15
Fiona is young.
("Fiona" "is" "young" "+")
triple16
Bob is red.
("Bob" "is" "red" "+")
((triple4) -> (rule2 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
((triple7) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
((((triple6 triple8) -> (rule3 % int2))) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
((triple9) -> (rule2 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1