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