Anne is not cold. Anne is furry. Anne is nice. Anne is white. Anne is not young. Charlie is furry. Charlie is nice. Charlie is not smart. Erin is round. Fiona is furry. If Fiona is smart and Fiona is not nice then Fiona is not young. If something is smart and not nice then it is furry. If Fiona is young then Fiona is round. If something is white and young then it is cold. White things are round. All furry things are white. All smart, cold things are not white. If Fiona is young then Fiona is smart.
Anne is not cold.
("Anne" "is" "cold" "-")
Anne is furry.
("Anne" "is" "furry" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is white.
("Anne" "is" "white" "+")
Anne is not young.
("Anne" "is" "young" "-")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is not smart.
("Charlie" "is" "smart" "-")
Erin is round.
("Erin" "is" "round" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
If Fiona is smart and Fiona is not nice then Fiona is not young.
((("Fiona" "is" "smart" "+") ("Fiona" "is" "nice" "~")) -> ("Fiona" "is" "young" "-"))
If something is smart and not nice then it is furry.
((("something" "is" "smart" "+") ("something" "is" "nice" "~")) -> ("something" "is" "furry" "+"))
If Fiona is young then Fiona is round.
((("Fiona" "is" "young" "+")) -> ("Fiona" "is" "round" "+"))
If something is white and young then it is cold.
((("something" "is" "white" "+") ("something" "is" "young" "+")) -> ("something" "is" "cold" "+"))
White things are round.
((("something" "is" "white" "+")) -> ("something" "is" "round" "+"))
All furry things are white.
((("something" "is" "furry" "+")) -> ("something" "is" "white" "+"))
All smart, cold things are not white.
((("something" "is" "smart" "+") ("something" "is" "cold" "+")) -> ("something" "is" "white" "-"))
If Fiona is young then Fiona is smart.
((("Fiona" "is" "young" "+")) -> ("Fiona" "is" "smart" "+"))
Fiona is furry.
True
1
proof
[(triple10)]
("Fiona" "is" "furry" "+")
triple10
Fiona is not furry.
False
1
inv-proof
[(triple10)]
("Fiona" "is" "furry" "-")
triple10
Fiona is white.
True
2
proof
[(((triple10) -> rule6))]
("Fiona" "is" "white" "+")
((triple10) -> (rule6 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Anne is not round.
False
2
inv-proof
[(((triple4) -> rule5) OR ((((triple2) -> rule6)) -> rule5))]
("Anne" "is" "round" "-")
((triple4) -> (rule5 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
((((triple2) -> (rule6 % int2))) -> (rule5 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Charlie is round.
True
3
proof
[(((((triple6) -> rule6)) -> rule5))]
("Charlie" "is" "round" "+")
((((triple6) -> (rule6 % int2))) -> (rule5 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is not round.
False
3
inv-proof
[(((((triple6) -> rule6)) -> rule5))]
("Charlie" "is" "round" "-")
((((triple6) -> (rule6 % int2))) -> (rule5 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Fiona is not smart.
Unknown
inv-rconc
[@1: Fiona is smart.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("Fiona" "is" "smart" "-")
Fiona is cold.
Unknown
rconc
[@1: Fiona is cold.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Fiona" "is" "cold" "+")
Erin is not white.
Unknown
inv-rconc
[@2: Erin is white.[CWA. Example of deepest failure = (rule6 <- rule2 <- FAIL)]]
("Erin" "is" "white" "-")
Erin is smart.
Unknown
random
[@0: Erin is smart.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "smart" "+")
Anne is not smart.
Unknown
inv-random
[@0: Anne is smart.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "smart" "-")
Erin is young.
Unknown
random
[@0: Erin is young.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "young" "+")
@0: Anne is furry.[(triple2)] Anne is nice.[(triple3)] Anne is not cold.[(triple1)] Anne is not young.[(triple5)] Anne is white.[(triple4 OR ((triple2) -> rule6))] Charlie is furry.[(triple6)] Charlie is nice.[(triple7)] Charlie is not smart.[(triple8)] Erin is round.[(triple9)] Fiona is furry.[(triple10)] @1: Anne is round.[(((triple4) -> rule5) OR ((((triple2) -> rule6)) -> rule5))] Charlie is white.[(((triple6) -> rule6))] Fiona is white.[(((triple10) -> rule6))] @2: Charlie is round.[(((((triple6) -> rule6)) -> rule5))] Fiona is round.[(((((triple10) -> rule6)) -> rule5))]
Anne is furry.
("Anne" "is" "furry" "+")
triple2
Anne is nice.
("Anne" "is" "nice" "+")
triple3
Anne is not cold.
("Anne" "is" "cold" "-")
triple1
Anne is not young.
("Anne" "is" "young" "-")
triple5
Anne is white.
("Anne" "is" "white" "+")
triple4
((triple2) -> (rule6 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
triple6
Charlie is nice.
("Charlie" "is" "nice" "+")
triple7
Charlie is not smart.
("Charlie" "is" "smart" "-")
triple8
Erin is round.
("Erin" "is" "round" "+")
triple9
Fiona is furry.
("Fiona" "is" "furry" "+")
triple10
Anne is round.
("Anne" "is" "round" "+")
((triple4) -> (rule5 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
((((triple2) -> (rule6 % int2))) -> (rule5 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
((triple6) -> (rule6 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
((triple10) -> (rule6 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
((((triple6) -> (rule6 % int2))) -> (rule5 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
((((triple10) -> (rule6 % int2))) -> (rule5 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2