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