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