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