Anne is cold. Anne is not round. Anne is not young. Fiona is cold. Fiona is furry. Fiona is kind. Fiona is round. Gary is cold. Gary is kind. Gary is round. Kind people are cold. Kind people are big. If Gary is kind and Gary is furry then Gary is smart. If someone is round and not big then they are smart. All big, round people are furry. If Anne is smart then Anne is round. If Anne is furry and Anne is not round then Anne is cold. All smart, cold people are young.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is not round.
("Anne" "is" "round" "-")
Anne is not young.
("Anne" "is" "young" "-")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is round.
("Gary" "is" "round" "+")
Kind people are cold.
((("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
Kind people are big.
((("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
If Gary is kind and Gary is furry then Gary is smart.
((("Gary" "is" "kind" "+") ("Gary" "is" "furry" "+")) -> ("Gary" "is" "smart" "+"))
If someone is round and not big then they are smart.
((("someone" "is" "round" "+") ("someone" "is" "big" "~")) -> ("someone" "is" "smart" "+"))
All big, round people are furry.
((("someone" "is" "big" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "furry" "+"))
If Anne is smart then Anne is round.
((("Anne" "is" "smart" "+")) -> ("Anne" "is" "round" "+"))
If Anne is furry and Anne is not round then Anne is cold.
((("Anne" "is" "furry" "+") ("Anne" "is" "round" "~")) -> ("Anne" "is" "cold" "+"))
All smart, cold people are young.
((("someone" "is" "smart" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
Fiona is round.
True
1
proof
[(triple7)]
("Fiona" "is" "round" "+")
triple7
Gary is not kind.
False
1
inv-proof
[(triple9)]
("Gary" "is" "kind" "-")
triple9
Fiona is big.
True
2
proof
[(((triple6) -> rule2))]
("Fiona" "is" "big" "+")
((triple6) -> (rule2 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Gary is not big.
False
2
inv-proof
[(((triple9) -> rule2))]
("Gary" "is" "big" "-")
((triple9) -> (rule2 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is furry.
True
4
proof
[(((((triple9) -> rule2) triple10) -> rule5))]
("Gary" "is" "furry" "+")
((((triple9) -> (rule2 % int2)) triple10) -> (rule5 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is not furry.
False
4
inv-proof
[(((((triple9) -> rule2) triple10) -> rule5))]
("Gary" "is" "furry" "-")
((((triple9) -> (rule2 % int2)) triple10) -> (rule5 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Anne is not furry.
Unknown
inv-rconc
[@1: Anne is furry.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Anne" "is" "furry" "-")
Fiona is smart.
Unknown
rconc
[@1: Fiona is smart.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Fiona" "is" "smart" "+")
Fiona is not young.
Unknown
inv-rconc
[@2: Fiona is young.[CWA. Example of deepest failure = (rule8 <- rule4 <- FAIL)]]
("Fiona" "is" "young" "-")
Anne is kind.
Unknown
random
[@0: Anne is kind.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "kind" "+")
@0: Anne is cold.[(triple1)] Anne is not round.[(triple2)] Anne is not young.[(triple3)] Fiona is cold.[(triple4 OR ((triple6) -> rule1))] Fiona is furry.[(triple5 OR ((((triple6) -> rule2) triple7) -> rule5))] Fiona is kind.[(triple6)] Fiona is round.[(triple7)] Gary is cold.[(triple8 OR ((triple9) -> rule1))] Gary is kind.[(triple9)] Gary is round.[(triple10)] @1: Fiona is big.[(((triple6) -> rule2))] Gary is big.[(((triple9) -> rule2))] @2: Gary is furry.[(((((triple9) -> rule2) triple10) -> rule5))] @3: Gary is smart.[(((triple9 ((((triple9) -> rule2) triple10) -> rule5)) -> rule3))] @4: Gary is young.[(((((triple9 ((((triple9) -> rule2) triple10) -> rule5)) -> rule3) triple8) -> rule8) OR ((((triple9 ((((triple9) -> rule2) triple10) -> rule5)) -> rule3) ((triple9) -> rule1)) -> rule8))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Anne is not round.
("Anne" "is" "round" "-")
triple2
Anne is not young.
("Anne" "is" "young" "-")
triple3
Fiona is cold.
("Fiona" "is" "cold" "+")
triple4
((triple6) -> (rule1 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
triple5
((((triple6) -> (rule2 % int2)) triple7) -> (rule5 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
triple6
Fiona is round.
("Fiona" "is" "round" "+")
triple7
Gary is cold.
("Gary" "is" "cold" "+")
triple8
((triple9) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
triple9
Gary is round.
("Gary" "is" "round" "+")
triple10
Fiona is big.
("Fiona" "is" "big" "+")
((triple6) -> (rule2 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
((triple9) -> (rule2 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
((((triple9) -> (rule2 % int2)) triple10) -> (rule5 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
((triple9 ((((triple9) -> (rule2 % int3)) triple10) -> (rule5 % int2))) -> (rule3 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
((((triple9 ((((triple9) -> (rule2 % int4)) triple10) -> (rule5 % int3))) -> (rule3 % int2)) triple8) -> (rule8 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
((((triple9 ((((triple9) -> (rule2 % int5)) triple10) -> (rule5 % int4))) -> (rule3 % int3)) ((triple9) -> (rule1 % int2))) -> (rule8 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
Gary is big.
("Gary" "is" "big" "+")
int5