Anne is not cold. Anne is furry. Anne is green. Anne is smart. Charlie is not green. Dave is cold. Dave is green. Dave is kind. Dave is smart. Dave is not young. Erin is cold. Erin is furry. Erin is not green. Erin is kind. Erin is not smart. Erin is young. If Erin is not kind then Erin is smart. If someone is smart and not cold then they are furry. If someone is cold and young then they are not rough. If someone is smart and cold then they are not young. If someone is rough and not furry then they are young. If someone is cold and not young then they are green.
Anne is not cold.
("Anne" "is" "cold" "-")
Anne is furry.
("Anne" "is" "furry" "+")
Anne is green.
("Anne" "is" "green" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Charlie is not green.
("Charlie" "is" "green" "-")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Dave is not young.
("Dave" "is" "young" "-")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is not green.
("Erin" "is" "green" "-")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is not smart.
("Erin" "is" "smart" "-")
Erin is young.
("Erin" "is" "young" "+")
If Erin is not kind then Erin is smart.
((("Erin" "is" "kind" "~")) -> ("Erin" "is" "smart" "+"))
If someone is smart and not cold then they are furry.
((("someone" "is" "smart" "+") ("someone" "is" "cold" "~")) -> ("someone" "is" "furry" "+"))
If someone is cold and young then they are not rough.
((("someone" "is" "cold" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "rough" "-"))
If someone is smart and cold then they are not young.
((("someone" "is" "smart" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "young" "-"))
If someone is rough and not furry then they are young.
((("someone" "is" "rough" "+") ("someone" "is" "furry" "~")) -> ("someone" "is" "young" "+"))
If someone is cold and not young then they are green.
((("someone" "is" "cold" "+") ("someone" "is" "young" "~")) -> ("someone" "is" "green" "+"))
Erin is cold.
True
1
proof
[(triple11)]
("Erin" "is" "cold" "+")
triple11
Anne is not smart.
False
1
inv-proof
[(triple4)]
("Anne" "is" "smart" "-")
triple4
Erin is not rough.
True
3
proof
[(((triple11 triple16) -> rule3))]
("Erin" "is" "rough" "-")
((triple11 triple16) -> (rule3 % int1))
Erin is not rough.
("Erin" "is" "rough" "-")
int1
Erin is rough.
False
3
inv-proof
[(((triple11 triple16) -> rule3))]
("Erin" "is" "rough" "+")
((triple11 triple16) -> (rule3 % int1))
Erin is not rough.
("Erin" "is" "rough" "-")
int1
Charlie is not young.
Unknown
inv-rconc
[@1: Charlie is young.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Charlie" "is" "young" "-")
Dave is furry.
Unknown
rconc
[@1: Dave is furry.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "furry" "+")
Charlie is not cold.
Unknown
inv-random
[@0: Charlie is cold.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "cold" "-")
Charlie is smart.
Unknown
random
[@0: Charlie is smart.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "smart" "+")
@0: Anne is furry.[(triple2 OR ((triple4 triple1) -> rule2))] Anne is green.[(triple3)] Anne is not cold.[(triple1)] Anne is smart.[(triple4)] Charlie is not green.[(triple5)] Dave is cold.[(triple6)] Dave is green.[(triple7 OR ((triple6 triple10) -> rule6) OR ((triple6 ((triple9 triple6) -> rule4)) -> rule6))] Dave is kind.[(triple8)] Dave is not young.[(triple10 OR ((triple9 triple6) -> rule4))] Dave is smart.[(triple9)] Erin is cold.[(triple11)] Erin is furry.[(triple12)] Erin is kind.[(triple14)] Erin is not green.[(triple13)] Erin is not smart.[(triple15)] Erin is young.[(triple16)] @1: Erin is not rough.[(((triple11 triple16) -> rule3))]
Anne is furry.
("Anne" "is" "furry" "+")
triple2
((triple4 triple1) -> (rule2 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
triple3
Anne is not cold.
("Anne" "is" "cold" "-")
triple1
Anne is smart.
("Anne" "is" "smart" "+")
triple4
Charlie is not green.
("Charlie" "is" "green" "-")
triple5
Dave is cold.
("Dave" "is" "cold" "+")
triple6
Dave is green.
("Dave" "is" "green" "+")
triple7
((triple6 triple10) -> (rule6 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
((triple6 ((triple9 triple6) -> (rule4 % int2))) -> (rule6 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is not young.
("Dave" "is" "young" "-")
int2
Dave is kind.
("Dave" "is" "kind" "+")
triple8
Dave is not young.
("Dave" "is" "young" "-")
triple10
((triple9 triple6) -> (rule4 % int1))
Dave is not young.
("Dave" "is" "young" "-")
int1
Dave is smart.
("Dave" "is" "smart" "+")
triple9
Erin is cold.
("Erin" "is" "cold" "+")
triple11
Erin is furry.
("Erin" "is" "furry" "+")
triple12
Erin is kind.
("Erin" "is" "kind" "+")
triple14
Erin is not green.
("Erin" "is" "green" "-")
triple13
Erin is not smart.
("Erin" "is" "smart" "-")
triple15
Erin is young.
("Erin" "is" "young" "+")
triple16
Erin is not rough.
("Erin" "is" "rough" "-")
((triple11 triple16) -> (rule3 % int1))
Erin is not rough.
("Erin" "is" "rough" "-")
int1