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