Anne is not big. Charlie is cold. Fiona is cold. Smart people are not nice. Big, white people are not nice. If someone is cold then they are nice. If someone is furry then they are white. If Fiona is cold and Fiona is big then Fiona is smart. If someone is nice then they are furry.
Anne is not big.
("Anne" "is" "big" "-")
Charlie is cold.
("Charlie" "is" "cold" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Smart people are not nice.
((("someone" "is" "smart" "+")) -> ("someone" "is" "nice" "-"))
Big, white people are not nice.
((("someone" "is" "big" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "nice" "-"))
If someone is cold then they are nice.
((("someone" "is" "cold" "+")) -> ("someone" "is" "nice" "+"))
If someone is furry then they are white.
((("someone" "is" "furry" "+")) -> ("someone" "is" "white" "+"))
If Fiona is cold and Fiona is big then Fiona is smart.
((("Fiona" "is" "cold" "+") ("Fiona" "is" "big" "+")) -> ("Fiona" "is" "smart" "+"))
If someone is nice then they are furry.
((("someone" "is" "nice" "+")) -> ("someone" "is" "furry" "+"))
Fiona is cold.
True
1
proof
[(triple3)]
("Fiona" "is" "cold" "+")
triple3
Fiona is not cold.
False
1
inv-proof
[(triple3)]
("Fiona" "is" "cold" "-")
triple3
Fiona is nice.
True
2
proof
[(((triple3) -> rule3))]
("Fiona" "is" "nice" "+")
((triple3) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is not nice.
False
2
inv-proof
[(((triple3) -> rule3))]
("Fiona" "is" "nice" "-")
((triple3) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is furry.
True
3
proof
[(((((triple3) -> rule3)) -> rule6))]
("Fiona" "is" "furry" "+")
((((triple3) -> (rule3 % int2))) -> (rule6 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is not furry.
False
3
inv-proof
[(((((triple3) -> rule3)) -> rule6))]
("Fiona" "is" "furry" "-")
((((triple3) -> (rule3 % int2))) -> (rule6 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is white.
True
4
proof
[(((((((triple3) -> rule3)) -> rule6)) -> rule4))]
("Fiona" "is" "white" "+")
((((((triple3) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Charlie is not white.
False
4
inv-proof
[(((((((triple2) -> rule3)) -> rule6)) -> rule4))]
("Charlie" "is" "white" "-")
((((((triple2) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Anne is not white.
Unknown
inv-rconc
[@3: Anne is white.[CWA. Example of deepest failure = (rule4 <- rule6 <- rule3 <- FAIL)]]
("Anne" "is" "white" "-")
Fiona is smart.
Unknown
rconc
[@1: Fiona is smart.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Fiona" "is" "smart" "+")
Anne is not furry.
Unknown
inv-rconc
[@2: Anne is furry.[CWA. Example of deepest failure = (rule6 <- rule3 <- FAIL)]]
("Anne" "is" "furry" "-")
Anne is nice.
Unknown
rconc
[@1: Anne is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Anne" "is" "nice" "+")
Charlie is not big.
Unknown
inv-random
[@0: Charlie is big.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "big" "-")
Fiona is kind.
Unknown
random
[@0: Fiona is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "kind" "+")
Charlie is not smart.
Unknown
inv-random
[@0: Charlie is smart.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "smart" "-")
Fiona is big.
Unknown
random
[@0: Fiona is big.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "big" "+")
@0: Anne is not big.[(triple1)] Charlie is cold.[(triple2)] Fiona is cold.[(triple3)] @1: Charlie is nice.[(((triple2) -> rule3))] Fiona is nice.[(((triple3) -> rule3))] @2: Charlie is furry.[(((((triple2) -> rule3)) -> rule6))] Fiona is furry.[(((((triple3) -> rule3)) -> rule6))] @3: Charlie is white.[(((((((triple2) -> rule3)) -> rule6)) -> rule4))] Fiona is white.[(((((((triple3) -> rule3)) -> rule6)) -> rule4))]
Anne is not big.
("Anne" "is" "big" "-")
triple1
Charlie is cold.
("Charlie" "is" "cold" "+")
triple2
Fiona is cold.
("Fiona" "is" "cold" "+")
triple3
Charlie is nice.
("Charlie" "is" "nice" "+")
((triple2) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
((triple3) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
((((triple2) -> (rule3 % int2))) -> (rule6 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
((((triple3) -> (rule3 % int2))) -> (rule6 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
((((((triple2) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
((((((triple3) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3