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