Anne is furry. Bob is blue. Bob is cold. Bob is furry. Bob is green. Bob is round. Bob is young. Fiona is blue. Fiona is furry. Fiona is red. Fiona is round. Harry is cold. Harry is green. Harry is round. Harry is young. If Bob is red then Bob is round.
Anne is furry.
("Anne" "is" "furry" "+")
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 round.
("Bob" "is" "round" "+")
Bob is young.
("Bob" "is" "young" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is young.
("Harry" "is" "young" "+")
If Bob is red then Bob is round.
((("Bob" "is" "red" "+")) -> ("Bob" "is" "round" "+"))
Harry is cold.
True
1
proof
[(triple12)]
("Harry" "is" "cold" "+")
triple12
Fiona is not round.
False
1
inv-proof
[(triple11)]
("Fiona" "is" "round" "-")
triple11
Fiona is not cold.
Unknown
inv-random
[@0: Fiona is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "cold" "-")
Fiona is young.
Unknown
random
[@0: Fiona is young.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "young" "+")
@0: Anne is furry.[(triple1)] Bob is blue.[(triple2)] Bob is cold.[(triple3)] Bob is furry.[(triple4)] Bob is green.[(triple5)] Bob is round.[(triple6)] Bob is young.[(triple7)] Fiona is blue.[(triple8)] Fiona is furry.[(triple9)] Fiona is red.[(triple10)] Fiona is round.[(triple11)] Harry is cold.[(triple12)] Harry is green.[(triple13)] Harry is round.[(triple14)] Harry is young.[(triple15)]
Anne is furry.
("Anne" "is" "furry" "+")
triple1
Bob is blue.
("Bob" "is" "blue" "+")
triple2
Bob is cold.
("Bob" "is" "cold" "+")
triple3
Bob is furry.
("Bob" "is" "furry" "+")
triple4
Bob is green.
("Bob" "is" "green" "+")
triple5
Bob is round.
("Bob" "is" "round" "+")
triple6
Bob is young.
("Bob" "is" "young" "+")
triple7
Fiona is blue.
("Fiona" "is" "blue" "+")
triple8
Fiona is furry.
("Fiona" "is" "furry" "+")
triple9
Fiona is red.
("Fiona" "is" "red" "+")
triple10
Fiona is round.
("Fiona" "is" "round" "+")
triple11
Harry is cold.
("Harry" "is" "cold" "+")
triple12
Harry is green.
("Harry" "is" "green" "+")
triple13
Harry is round.
("Harry" "is" "round" "+")
triple14
Harry is young.
("Harry" "is" "young" "+")
triple15