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