Anne is furry. Anne is red. Anne is not young. Dave is big. Dave is cold. Dave is not kind. Fiona is big. Fiona is cold. Fiona is furry. Fiona is not kind. Fiona is red. Fiona is not young. Cold things are red. If something is big and not red then it is not young. If something is red then it is not young.
Anne is furry.
("Anne" "is" "furry" "+")
Anne is red.
("Anne" "is" "red" "+")
Anne is not young.
("Anne" "is" "young" "-")
Dave is big.
("Dave" "is" "big" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is not kind.
("Dave" "is" "kind" "-")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is not kind.
("Fiona" "is" "kind" "-")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is not young.
("Fiona" "is" "young" "-")
Cold things are red.
((("something" "is" "cold" "+")) -> ("something" "is" "red" "+"))
If something is big and not red then it is not young.
((("something" "is" "big" "+") ("something" "is" "red" "~")) -> ("something" "is" "young" "-"))
If something is red then it is not young.
((("something" "is" "red" "+")) -> ("something" "is" "young" "-"))
Fiona is not young.
True
1
proof
[(triple12 OR ((triple11) -> rule3) OR ((((triple8) -> rule1)) -> rule3))]
("Fiona" "is" "young" "-")
triple12
((triple11) -> (rule3 % int1))
Fiona is not young.
("Fiona" "is" "young" "-")
int1
((((triple8) -> (rule1 % int2))) -> (rule3 % int1))
Fiona is not young.
("Fiona" "is" "young" "-")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is kind.
False
1
inv-proof
[(triple10)]
("Fiona" "is" "kind" "+")
triple10
Dave is red.
True
2
proof
[(((triple5) -> rule1))]
("Dave" "is" "red" "+")
((triple5) -> (rule1 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is not red.
False
2
inv-proof
[(((triple5) -> rule1))]
("Dave" "is" "red" "-")
((triple5) -> (rule1 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is not young.
True
3
proof
[(((((triple5) -> rule1)) -> rule3))]
("Dave" "is" "young" "-")
((((triple5) -> (rule1 % int2))) -> (rule3 % int1))
Dave is not young.
("Dave" "is" "young" "-")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is young.
False
3
inv-proof
[(((((triple5) -> rule1)) -> rule3))]
("Dave" "is" "young" "+")
((((triple5) -> (rule1 % int2))) -> (rule3 % int1))
Dave is not young.
("Dave" "is" "young" "-")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is not furry.
Unknown
inv-random
[@0: Dave is furry.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "furry" "-")
Anne is big.
Unknown
random
[@0: Anne is big.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "big" "+")
Anne is not rough.
Unknown
inv-random
[@0: Anne is rough.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "rough" "-")
Anne is kind.
Unknown
random
[@0: Anne is kind.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "kind" "+")
Anne is not cold.
Unknown
inv-random
[@0: Anne is cold.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "cold" "-")
Dave is rough.
Unknown
random
[@0: Dave is rough.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "rough" "+")
@0: Anne is furry.[(triple1)] Anne is not young.[(triple3 OR ((triple2) -> rule3))] Anne is red.[(triple2)] Dave is big.[(triple4)] Dave is cold.[(triple5)] Dave is not kind.[(triple6)] Fiona is big.[(triple7)] Fiona is cold.[(triple8)] Fiona is furry.[(triple9)] Fiona is not kind.[(triple10)] Fiona is not young.[(triple12 OR ((triple11) -> rule3) OR ((((triple8) -> rule1)) -> rule3))] Fiona is red.[(triple11 OR ((triple8) -> rule1))] @1: Dave is red.[(((triple5) -> rule1))] @2: Dave is not young.[(((((triple5) -> rule1)) -> rule3))]
Anne is furry.
("Anne" "is" "furry" "+")
triple1
Anne is not young.
("Anne" "is" "young" "-")
triple3
((triple2) -> (rule3 % int1))
Anne is not young.
("Anne" "is" "young" "-")
int1
Anne is red.
("Anne" "is" "red" "+")
triple2
Dave is big.
("Dave" "is" "big" "+")
triple4
Dave is cold.
("Dave" "is" "cold" "+")
triple5
Dave is not kind.
("Dave" "is" "kind" "-")
triple6
Fiona is big.
("Fiona" "is" "big" "+")
triple7
Fiona is cold.
("Fiona" "is" "cold" "+")
triple8
Fiona is furry.
("Fiona" "is" "furry" "+")
triple9
Fiona is not kind.
("Fiona" "is" "kind" "-")
triple10
Fiona is not young.
("Fiona" "is" "young" "-")
triple12
((triple11) -> (rule3 % int1))
Fiona is not young.
("Fiona" "is" "young" "-")
int1
((((triple8) -> (rule1 % int2))) -> (rule3 % int1))
Fiona is not young.
("Fiona" "is" "young" "-")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
triple11
((triple8) -> (rule1 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
((triple5) -> (rule1 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is not young.
("Dave" "is" "young" "-")
((((triple5) -> (rule1 % int2))) -> (rule3 % int1))
Dave is not young.
("Dave" "is" "young" "-")
int1
Dave is red.
("Dave" "is" "red" "+")
int2