Anne is blue. Anne is kind. Anne is smart. Erin is blue. Erin is not furry. Erin is kind. Erin is nice. Erin is not smart. Gary is not furry. Gary is kind. Gary is not nice. Gary is young. All kind people are not furry. All cold people are kind. If Gary is smart and Gary is cold then Gary is nice. Nice people are cold. If Erin is smart and Erin is not cold then Erin is furry. If someone is cold then they are not young. If someone is nice and not cold then they are young. If Erin is cold and Erin is not young then Erin is blue.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is not furry.
("Erin" "is" "furry" "-")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is not smart.
("Erin" "is" "smart" "-")
Gary is not furry.
("Gary" "is" "furry" "-")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is not nice.
("Gary" "is" "nice" "-")
Gary is young.
("Gary" "is" "young" "+")
All kind people are not furry.
((("someone" "is" "kind" "+")) -> ("someone" "is" "furry" "-"))
All cold people are kind.
((("someone" "is" "cold" "+")) -> ("someone" "is" "kind" "+"))
If Gary is smart and Gary is cold then Gary is nice.
((("Gary" "is" "smart" "+") ("Gary" "is" "cold" "+")) -> ("Gary" "is" "nice" "+"))
Nice people are cold.
((("someone" "is" "nice" "+")) -> ("someone" "is" "cold" "+"))
If Erin is smart and Erin is not cold then Erin is furry.
((("Erin" "is" "smart" "+") ("Erin" "is" "cold" "~")) -> ("Erin" "is" "furry" "+"))
If someone is cold then they are not young.
((("someone" "is" "cold" "+")) -> ("someone" "is" "young" "-"))
If someone is nice and not cold then they are young.
((("someone" "is" "nice" "+") ("someone" "is" "cold" "~")) -> ("someone" "is" "young" "+"))
If Erin is cold and Erin is not young then Erin is blue.
((("Erin" "is" "cold" "+") ("Erin" "is" "young" "~")) -> ("Erin" "is" "blue" "+"))
Gary is kind.
True
1
proof
[(triple10)]
("Gary" "is" "kind" "+")
triple10
Gary is not kind.
False
1
inv-proof
[(triple10)]
("Gary" "is" "kind" "-")
triple10
Erin is cold.
True
2
proof
[(((triple7) -> rule4))]
("Erin" "is" "cold" "+")
((triple7) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is not cold.
False
2
inv-proof
[(((triple7) -> rule4))]
("Erin" "is" "cold" "-")
((triple7) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is not young.
True
3
proof
[(((((triple7) -> rule4)) -> rule6))]
("Erin" "is" "young" "-")
((((triple7) -> (rule4 % int2))) -> (rule6 % int1))
Erin is not young.
("Erin" "is" "young" "-")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is young.
False
3
inv-proof
[(((((triple7) -> rule4)) -> rule6))]
("Erin" "is" "young" "+")
((((triple7) -> (rule4 % int2))) -> (rule6 % int1))
Erin is not young.
("Erin" "is" "young" "-")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Anne is not cold.
Unknown
inv-rconc
[@1: Anne is cold.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Anne" "is" "cold" "-")
Gary is cold.
Unknown
rconc
[@1: Gary is cold.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Gary" "is" "cold" "+")
Anne is not young.
Unknown
inv-rconc
[@1: Anne is young.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Anne" "is" "young" "-")
Gary is blue.
Unknown
random
[@0: Gary is blue.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "blue" "+")
Anne is not nice.
Unknown
inv-random
[@0: Anne is nice.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "nice" "-")
Gary is smart.
Unknown
random
[@0: Gary is smart.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "smart" "+")
@0: Anne is blue.[(triple1)] Anne is kind.[(triple2)] Anne is smart.[(triple3)] Erin is blue.[(triple4 OR ((((triple7) -> rule4) ((((triple7) -> rule4)) -> rule6)) -> rule8))] Erin is kind.[(triple6 OR ((((triple7) -> rule4)) -> rule2))] Erin is nice.[(triple7)] Erin is not furry.[(triple5 OR ((triple6) -> rule1) OR ((((((triple7) -> rule4)) -> rule2)) -> rule1))] Erin is not smart.[(triple8)] Gary is kind.[(triple10)] Gary is not furry.[(triple9 OR ((triple10) -> rule1))] Gary is not nice.[(triple11)] Gary is young.[(triple12)] @1: Anne is not furry.[(((triple2) -> rule1))] Erin is cold.[(((triple7) -> rule4))] @2: Erin is not young.[(((((triple7) -> rule4)) -> rule6))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
Anne is kind.
("Anne" "is" "kind" "+")
triple2
Anne is smart.
("Anne" "is" "smart" "+")
triple3
Erin is blue.
("Erin" "is" "blue" "+")
triple4
((((triple7) -> (rule4 % int3)) ((((triple7) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is not young.
("Erin" "is" "young" "-")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
triple6
((((triple7) -> (rule4 % int2))) -> (rule2 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
triple7
Erin is not furry.
("Erin" "is" "furry" "-")
triple5
((triple6) -> (rule1 % int1))
Erin is not furry.
("Erin" "is" "furry" "-")
int1
((((((triple7) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Erin is not furry.
("Erin" "is" "furry" "-")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is not smart.
("Erin" "is" "smart" "-")
triple8
Gary is kind.
("Gary" "is" "kind" "+")
triple10
Gary is not furry.
("Gary" "is" "furry" "-")
triple9
((triple10) -> (rule1 % int1))
Gary is not furry.
("Gary" "is" "furry" "-")
int1
Gary is not nice.
("Gary" "is" "nice" "-")
triple11
Gary is young.
("Gary" "is" "young" "+")
triple12
Anne is not furry.
("Anne" "is" "furry" "-")
((triple2) -> (rule1 % int1))
Anne is not furry.
("Anne" "is" "furry" "-")
int1
Erin is cold.
("Erin" "is" "cold" "+")
((triple7) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is not young.
("Erin" "is" "young" "-")
((((triple7) -> (rule4 % int2))) -> (rule6 % int1))
Erin is not young.
("Erin" "is" "young" "-")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2