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