Anne is blue. Anne is round. Anne is young. Dave is big. Dave is furry. Dave is smart. Fiona is not big. Fiona is cold. Fiona is furry. Fiona is round. Fiona is smart. Fiona is young. All big people are young. Young, smart people are blue.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is round.
("Anne" "is" "round" "+")
Anne is young.
("Anne" "is" "young" "+")
Dave is big.
("Dave" "is" "big" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Fiona is not big.
("Fiona" "is" "big" "-")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is young.
("Fiona" "is" "young" "+")
All big people are young.
((("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
Young, smart people are blue.
((("someone" "is" "young" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "blue" "+"))
Fiona is round.
True
1
proof
[(triple10)]
("Fiona" "is" "round" "+")
triple10
Dave is not smart.
False
1
inv-proof
[(triple6)]
("Dave" "is" "smart" "-")
triple6
Dave is young.
True
2
proof
[(((triple4) -> rule1))]
("Dave" "is" "young" "+")
((triple4) -> (rule1 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Fiona is not blue.
False
3
inv-proof
[(((triple12 triple11) -> rule2))]
("Fiona" "is" "blue" "-")
((triple12 triple11) -> (rule2 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Dave is blue.
True
4
proof
[(((((triple4) -> rule1) triple6) -> rule2))]
("Dave" "is" "blue" "+")
((((triple4) -> (rule1 % int2)) triple6) -> (rule2 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is not blue.
False
4
inv-proof
[(((((triple4) -> rule1) triple6) -> rule2))]
("Dave" "is" "blue" "-")
((((triple4) -> (rule1 % int2)) triple6) -> (rule2 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Anne is not big.
Unknown
inv-random
[@0: Anne is big.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "big" "-")
Anne is furry.
Unknown
random
[@0: Anne is furry.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "furry" "+")
Anne is not smart.
Unknown
inv-random
[@0: Anne is smart.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "smart" "-")
Anne is cold.
Unknown
random
[@0: Anne is cold.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "cold" "+")
Dave is not cold.
Unknown
inv-random
[@0: Dave is cold.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "cold" "-")
Dave is round.
Unknown
random
[@0: Dave is round.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "round" "+")
@0: Anne is blue.[(triple1)] Anne is round.[(triple2)] Anne is young.[(triple3)] Dave is big.[(triple4)] Dave is furry.[(triple5)] Dave is smart.[(triple6)] Fiona is cold.[(triple8)] Fiona is furry.[(triple9)] Fiona is not big.[(triple7)] Fiona is round.[(triple10)] Fiona is smart.[(triple11)] Fiona is young.[(triple12)] @1: Dave is young.[(((triple4) -> rule1))] Fiona is blue.[(((triple12 triple11) -> rule2))] @2: Dave is blue.[(((((triple4) -> rule1) triple6) -> rule2))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
Anne is round.
("Anne" "is" "round" "+")
triple2
Anne is young.
("Anne" "is" "young" "+")
triple3
Dave is big.
("Dave" "is" "big" "+")
triple4
Dave is furry.
("Dave" "is" "furry" "+")
triple5
Dave is smart.
("Dave" "is" "smart" "+")
triple6
Fiona is cold.
("Fiona" "is" "cold" "+")
triple8
Fiona is furry.
("Fiona" "is" "furry" "+")
triple9
Fiona is not big.
("Fiona" "is" "big" "-")
triple7
Fiona is round.
("Fiona" "is" "round" "+")
triple10
Fiona is smart.
("Fiona" "is" "smart" "+")
triple11
Fiona is young.
("Fiona" "is" "young" "+")
triple12
Dave is young.
("Dave" "is" "young" "+")
((triple4) -> (rule1 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
((triple12 triple11) -> (rule2 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
((((triple4) -> (rule1 % int2)) triple6) -> (rule2 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2