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