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