Anne is big. Anne is blue. Anne is not green. Anne is rough. Anne is young. Dave is cold. Dave is furry. Dave is green. Erin is big. Erin is cold. Erin is furry. Erin is rough. Fiona is blue. Fiona is furry. Fiona is young. All blue things are cold. If Fiona is furry and Fiona is big then Fiona is young.
Anne is big.
("Anne" "is" "big" "+")
Anne is blue.
("Anne" "is" "blue" "+")
Anne is not green.
("Anne" "is" "green" "-")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is young.
("Anne" "is" "young" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is green.
("Dave" "is" "green" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is young.
("Fiona" "is" "young" "+")
All blue things are cold.
((("something" "is" "blue" "+")) -> ("something" "is" "cold" "+"))
If Fiona is furry and Fiona is big then Fiona is young.
((("Fiona" "is" "furry" "+") ("Fiona" "is" "big" "+")) -> ("Fiona" "is" "young" "+"))
Erin is big.
True
1
proof
[(triple9)]
("Erin" "is" "big" "+")
triple9
Dave is not furry.
False
1
inv-proof
[(triple7)]
("Dave" "is" "furry" "-")
triple7
Anne is cold.
True
2
proof
[(((triple2) -> rule1))]
("Anne" "is" "cold" "+")
((triple2) -> (rule1 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is not cold.
False
2
inv-proof
[(((triple2) -> rule1))]
("Anne" "is" "cold" "-")
((triple2) -> (rule1 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Fiona is not green.
Unknown
inv-random
[@0: Fiona is green.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "green" "-")
Anne is furry.
Unknown
random
[@0: Anne is furry.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "furry" "+")
Dave is not big.
Unknown
inv-random
[@0: Dave is big.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "big" "-")
Erin is blue.
Unknown
random
[@0: Erin is blue.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "blue" "+")
@0: Anne is big.[(triple1)] Anne is blue.[(triple2)] Anne is not green.[(triple3)] Anne is rough.[(triple4)] Anne is young.[(triple5)] Dave is cold.[(triple6)] Dave is furry.[(triple7)] Dave is green.[(triple8)] Erin is big.[(triple9)] Erin is cold.[(triple10)] Erin is furry.[(triple11)] Erin is rough.[(triple12)] Fiona is blue.[(triple13)] Fiona is furry.[(triple14)] Fiona is young.[(triple15)] @1: Anne is cold.[(((triple2) -> rule1))] Fiona is cold.[(((triple13) -> rule1))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is blue.
("Anne" "is" "blue" "+")
triple2
Anne is not green.
("Anne" "is" "green" "-")
triple3
Anne is rough.
("Anne" "is" "rough" "+")
triple4
Anne is young.
("Anne" "is" "young" "+")
triple5
Dave is cold.
("Dave" "is" "cold" "+")
triple6
Dave is furry.
("Dave" "is" "furry" "+")
triple7
Dave is green.
("Dave" "is" "green" "+")
triple8
Erin is big.
("Erin" "is" "big" "+")
triple9
Erin is cold.
("Erin" "is" "cold" "+")
triple10
Erin is furry.
("Erin" "is" "furry" "+")
triple11
Erin is rough.
("Erin" "is" "rough" "+")
triple12
Fiona is blue.
("Fiona" "is" "blue" "+")
triple13
Fiona is furry.
("Fiona" "is" "furry" "+")
triple14
Fiona is young.
("Fiona" "is" "young" "+")
triple15
Anne is cold.
("Anne" "is" "cold" "+")
((triple2) -> (rule1 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
((triple13) -> (rule1 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1