Anne is blue. Anne is cold. Anne is white. Anne is young. Dave is not blue. Dave is cold. Dave is furry. Dave is smart. Erin is kind. Erin is young. Gary is not blue. Gary is cold. Gary is not kind. Gary is smart. Gary is not white. Gary is young. If something is furry and not blue then it is young. If Gary is not blue then Gary is not furry. Young, furry things are not white. All kind things are not cold. If something is blue and young then it is smart. If something is white and not cold then it is smart.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is cold.
("Anne" "is" "cold" "+")
Anne is white.
("Anne" "is" "white" "+")
Anne is young.
("Anne" "is" "young" "+")
Dave is not blue.
("Dave" "is" "blue" "-")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is young.
("Erin" "is" "young" "+")
Gary is not blue.
("Gary" "is" "blue" "-")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is not kind.
("Gary" "is" "kind" "-")
Gary is smart.
("Gary" "is" "smart" "+")
Gary is not white.
("Gary" "is" "white" "-")
Gary is young.
("Gary" "is" "young" "+")
If something is furry and not blue then it is young.
((("something" "is" "furry" "+") ("something" "is" "blue" "~")) -> ("something" "is" "young" "+"))
If Gary is not blue then Gary is not furry.
((("Gary" "is" "blue" "~")) -> ("Gary" "is" "furry" "-"))
Young, furry things are not white.
((("something" "is" "young" "+") ("something" "is" "furry" "+")) -> ("something" "is" "white" "-"))
All kind things are not cold.
((("something" "is" "kind" "+")) -> ("something" "is" "cold" "-"))
If something is blue and young then it is smart.
((("something" "is" "blue" "+") ("something" "is" "young" "+")) -> ("something" "is" "smart" "+"))
If something is white and not cold then it is smart.
((("something" "is" "white" "+") ("something" "is" "cold" "~")) -> ("something" "is" "smart" "+"))
Dave is not blue.
True
1
proof
[(triple5)]
("Dave" "is" "blue" "-")
triple5
Erin is not kind.
False
1
inv-proof
[(triple9)]
("Erin" "is" "kind" "-")
triple9
Anne is smart.
True
3
proof
[(((triple1 triple4) -> rule5))]
("Anne" "is" "smart" "+")
((triple1 triple4) -> (rule5 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Erin is cold.
False
2
inv-proof
[(((triple9) -> rule4))]
("Erin" "is" "cold" "+")
((triple9) -> (rule4 % int1))
Erin is not cold.
("Erin" "is" "cold" "-")
int1
Dave is not white.
True
5
proof
[(((((triple7 triple5) -> rule1) triple7) -> rule3))]
("Dave" "is" "white" "-")
((((triple7 triple5) -> (rule1 % int2)) triple7) -> (rule3 % int1))
Dave is not white.
("Dave" "is" "white" "-")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is white.
False
5
inv-proof
[(((((triple7 triple5) -> rule1) triple7) -> rule3))]
("Dave" "is" "white" "+")
((((triple7 triple5) -> (rule1 % int2)) triple7) -> (rule3 % int1))
Dave is not white.
("Dave" "is" "white" "-")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Erin is not smart.
Unknown
inv-rconc
[@1: Erin is smart.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Erin" "is" "smart" "-")
Erin is white.
Unknown
random
[@0: Erin is white.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "white" "+")
Anne is not kind.
Unknown
inv-random
[@0: Anne is kind.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "kind" "-")
Erin is furry.
Unknown
random
[@0: Erin is furry.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "furry" "+")
Dave is not kind.
Unknown
inv-random
[@0: Dave is kind.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "kind" "-")
Anne is furry.
Unknown
random
[@0: Anne is furry.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "furry" "+")
@0: Anne is blue.[(triple1)] Anne is cold.[(triple2)] Anne is white.[(triple3)] Anne is young.[(triple4)] Dave is cold.[(triple6)] Dave is furry.[(triple7)] Dave is not blue.[(triple5)] Dave is smart.[(triple8)] Erin is kind.[(triple9)] Erin is young.[(triple10)] Gary is cold.[(triple12)] Gary is not blue.[(triple11)] Gary is not kind.[(triple13)] Gary is not white.[(triple15)] Gary is smart.[(triple14)] Gary is young.[(triple16)] @1: Anne is smart.[(((triple1 triple4) -> rule5))] Dave is young.[(((triple7 triple5) -> rule1))] Erin is not cold.[(((triple9) -> rule4))] Gary is not furry.[(((triple11) -> rule2))] @2: Dave is not white.[(((((triple7 triple5) -> rule1) triple7) -> rule3))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
Anne is cold.
("Anne" "is" "cold" "+")
triple2
Anne is white.
("Anne" "is" "white" "+")
triple3
Anne is young.
("Anne" "is" "young" "+")
triple4
Dave is cold.
("Dave" "is" "cold" "+")
triple6
Dave is furry.
("Dave" "is" "furry" "+")
triple7
Dave is not blue.
("Dave" "is" "blue" "-")
triple5
Dave is smart.
("Dave" "is" "smart" "+")
triple8
Erin is kind.
("Erin" "is" "kind" "+")
triple9
Erin is young.
("Erin" "is" "young" "+")
triple10
Gary is cold.
("Gary" "is" "cold" "+")
triple12
Gary is not blue.
("Gary" "is" "blue" "-")
triple11
Gary is not kind.
("Gary" "is" "kind" "-")
triple13
Gary is not white.
("Gary" "is" "white" "-")
triple15
Gary is smart.
("Gary" "is" "smart" "+")
triple14
Gary is young.
("Gary" "is" "young" "+")
triple16
Anne is smart.
("Anne" "is" "smart" "+")
((triple1 triple4) -> (rule5 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
((triple7 triple5) -> (rule1 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Erin is not cold.
("Erin" "is" "cold" "-")
((triple9) -> (rule4 % int1))
Erin is not cold.
("Erin" "is" "cold" "-")
int1
Gary is not furry.
("Gary" "is" "furry" "-")
((triple11) -> (rule2 % int1))
Gary is not furry.
("Gary" "is" "furry" "-")
int1
Dave is not white.
("Dave" "is" "white" "-")
((((triple7 triple5) -> (rule1 % int2)) triple7) -> (rule3 % int1))
Dave is not white.
("Dave" "is" "white" "-")
int1
Dave is young.
("Dave" "is" "young" "+")
int2