Anne is cold. Anne is furry. Anne is round. Erin is kind. Fiona is cold. Gary is blue. Gary is nice. Big things are kind. All kind, cold things are nice. If something is nice then it is kind. Nice things are big. All kind things are nice. If Fiona is nice then Fiona is furry.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is furry.
("Anne" "is" "furry" "+")
Anne is round.
("Anne" "is" "round" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Big things are kind.
((("something" "is" "big" "+")) -> ("something" "is" "kind" "+"))
All kind, cold things are nice.
((("something" "is" "kind" "+") ("something" "is" "cold" "+")) -> ("something" "is" "nice" "+"))
If something is nice then it is kind.
((("something" "is" "nice" "+")) -> ("something" "is" "kind" "+"))
Nice things are big.
((("something" "is" "nice" "+")) -> ("something" "is" "big" "+"))
All kind things are nice.
((("something" "is" "kind" "+")) -> ("something" "is" "nice" "+"))
If Fiona is nice then Fiona is furry.
((("Fiona" "is" "nice" "+")) -> ("Fiona" "is" "furry" "+"))
Anne is furry.
True
1
proof
[(triple2)]
("Anne" "is" "furry" "+")
triple2
Gary is not blue.
False
1
inv-proof
[(triple6)]
("Gary" "is" "blue" "-")
triple6
Erin is nice.
True
2
proof
[(((triple4) -> rule5))]
("Erin" "is" "nice" "+")
((triple4) -> (rule5 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Gary is not kind.
False
2
inv-proof
[(((triple7) -> rule3) OR ((((triple7) -> rule4)) -> rule1))]
("Gary" "is" "kind" "-")
((triple7) -> (rule3 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
((((triple7) -> (rule4 % int2))) -> (rule1 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Erin is big.
True
3
proof
[(((((triple4) -> rule5)) -> rule4))]
("Erin" "is" "big" "+")
((((triple4) -> (rule5 % int2))) -> (rule4 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is not big.
False
3
inv-proof
[(((((triple4) -> rule5)) -> rule4))]
("Erin" "is" "big" "-")
((((triple4) -> (rule5 % int2))) -> (rule4 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Fiona is not furry.
Unknown
inv-rconc
[@6: Fiona is furry.[CWA. Example of deepest failure = (rule6 <- rule2 <- rule1 <- rule4 <- rule5 <- rule3 <- FAIL)]]
("Fiona" "is" "furry" "-")
Fiona is kind.
Unknown
rconc
[@5: Fiona is kind.[CWA. Example of deepest failure = (rule1 <- rule4 <- rule2 <- rule3 <- rule5 <- FAIL)]]
("Fiona" "is" "kind" "+")
Anne is not kind.
Unknown
inv-rconc
[@5: Anne is kind.[CWA. Example of deepest failure = (rule1 <- rule4 <- rule2 <- rule3 <- rule5 <- FAIL)]]
("Anne" "is" "kind" "-")
Fiona is blue.
Unknown
random
[@0: Fiona is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "blue" "+")
Anne is not blue.
Unknown
inv-random
[@0: Anne is blue.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "blue" "-")
Fiona is round.
Unknown
random
[@0: Fiona is round.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "round" "+")
@0: Anne is cold.[(triple1)] Anne is furry.[(triple2)] Anne is round.[(triple3)] Erin is kind.[(triple4)] Fiona is cold.[(triple5)] Gary is blue.[(triple6)] Gary is nice.[(triple7)] @1: Erin is nice.[(((triple4) -> rule5))] Gary is big.[(((triple7) -> rule4))] Gary is kind.[(((triple7) -> rule3) OR ((((triple7) -> rule4)) -> rule1))] @2: Erin is big.[(((((triple4) -> rule5)) -> rule4))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Anne is furry.
("Anne" "is" "furry" "+")
triple2
Anne is round.
("Anne" "is" "round" "+")
triple3
Erin is kind.
("Erin" "is" "kind" "+")
triple4
Fiona is cold.
("Fiona" "is" "cold" "+")
triple5
Gary is blue.
("Gary" "is" "blue" "+")
triple6
Gary is nice.
("Gary" "is" "nice" "+")
triple7
Erin is nice.
("Erin" "is" "nice" "+")
((triple4) -> (rule5 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
((triple7) -> (rule4 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
((triple7) -> (rule3 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
((((triple7) -> (rule4 % int2))) -> (rule1 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
((((triple4) -> (rule5 % int2))) -> (rule4 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2