Erin is nice. Harry is round. White people are not kind. Round people are white. Furry people are white. Nice people are not white. If someone is white and kind then they are round. All furry, nice people are not cold. If someone is furry and white then they are not cold. All furry people are not nice.
Erin is nice.
("Erin" "is" "nice" "+")
Harry is round.
("Harry" "is" "round" "+")
White people are not kind.
((("someone" "is" "white" "+")) -> ("someone" "is" "kind" "-"))
Round people are white.
((("someone" "is" "round" "+")) -> ("someone" "is" "white" "+"))
Furry people are white.
((("someone" "is" "furry" "+")) -> ("someone" "is" "white" "+"))
Nice people are not white.
((("someone" "is" "nice" "+")) -> ("someone" "is" "white" "-"))
If someone is white and kind then they are round.
((("someone" "is" "white" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
All furry, nice people are not cold.
((("someone" "is" "furry" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "cold" "-"))
If someone is furry and white then they are not cold.
((("someone" "is" "furry" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "cold" "-"))
All furry people are not nice.
((("someone" "is" "furry" "+")) -> ("someone" "is" "nice" "-"))
Erin is nice.
True
1
proof
[(triple1)]
("Erin" "is" "nice" "+")
triple1
Erin is not nice.
False
1
inv-proof
[(triple1)]
("Erin" "is" "nice" "-")
triple1
Harry is white.
True
2
proof
[(((triple2) -> rule2))]
("Harry" "is" "white" "+")
((triple2) -> (rule2 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Erin is white.
False
2
inv-proof
[(((triple1) -> rule4))]
("Erin" "is" "white" "+")
((triple1) -> (rule4 % int1))
Erin is not white.
("Erin" "is" "white" "-")
int1
Harry is not kind.
True
3
proof
[(((((triple2) -> rule2)) -> rule1))]
("Harry" "is" "kind" "-")
((((triple2) -> (rule2 % int2))) -> (rule1 % int1))
Harry is not kind.
("Harry" "is" "kind" "-")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is kind.
False
3
inv-proof
[(((((triple2) -> rule2)) -> rule1))]
("Harry" "is" "kind" "+")
((((triple2) -> (rule2 % int2))) -> (rule1 % int1))
Harry is not kind.
("Harry" "is" "kind" "-")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Erin is not round.
Unknown
inv-rconc
[@1: Erin is round.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Erin" "is" "round" "-")
Erin is blue.
Unknown
random
[@0: Erin is blue.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "blue" "+")
Erin is not kind.
Unknown
inv-random
[@0: Erin is kind.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "kind" "-")
Harry is blue.
Unknown
random
[@0: Harry is blue.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "blue" "+")
Harry is not nice.
Unknown
inv-random
[@0: Harry is nice.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "nice" "-")
Erin is furry.
Unknown
random
[@0: Erin is furry.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "furry" "+")
@0: Erin is nice.[(triple1)] Harry is round.[(triple2)] @1: Erin is not white.[(((triple1) -> rule4))] Harry is white.[(((triple2) -> rule2))] @2: Harry is not kind.[(((((triple2) -> rule2)) -> rule1))]
Erin is nice.
("Erin" "is" "nice" "+")
triple1
Harry is round.
("Harry" "is" "round" "+")
triple2
Erin is not white.
("Erin" "is" "white" "-")
((triple1) -> (rule4 % int1))
Erin is not white.
("Erin" "is" "white" "-")
int1
Harry is white.
("Harry" "is" "white" "+")
((triple2) -> (rule2 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is not kind.
("Harry" "is" "kind" "-")
((((triple2) -> (rule2 % int2))) -> (rule1 % int1))
Harry is not kind.
("Harry" "is" "kind" "-")
int1
Harry is white.
("Harry" "is" "white" "+")
int2