Anne is cold. Anne is green. Anne is red. Anne is not rough. Charlie is cold. Charlie is nice. Erin is cold. Erin is green. Erin is red. Erin is rough. Harry is cold. Harry is rough. If Erin is cold and Erin is young then Erin is red. If Erin is furry and Erin is green then Erin is red. If Harry is not furry then Harry is not rough. Green things are nice. If something is green and not furry then it is nice. Nice, green things are not young.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is green.
("Anne" "is" "green" "+")
Anne is red.
("Anne" "is" "red" "+")
Anne is not rough.
("Anne" "is" "rough" "-")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is rough.
("Harry" "is" "rough" "+")
If Erin is cold and Erin is young then Erin is red.
((("Erin" "is" "cold" "+") ("Erin" "is" "young" "+")) -> ("Erin" "is" "red" "+"))
If Erin is furry and Erin is green then Erin is red.
((("Erin" "is" "furry" "+") ("Erin" "is" "green" "+")) -> ("Erin" "is" "red" "+"))
If Harry is not furry then Harry is not rough.
((("Harry" "is" "furry" "~")) -> ("Harry" "is" "rough" "-"))
Green things are nice.
((("something" "is" "green" "+")) -> ("something" "is" "nice" "+"))
If something is green and not furry then it is nice.
((("something" "is" "green" "+") ("something" "is" "furry" "~")) -> ("something" "is" "nice" "+"))
Nice, green things are not young.
((("something" "is" "nice" "+") ("something" "is" "green" "+")) -> ("something" "is" "young" "-"))
Erin is cold.
True
1
proof
[(triple7)]
("Erin" "is" "cold" "+")
triple7
Erin is not green.
False
1
inv-proof
[(triple8)]
("Erin" "is" "green" "-")
triple8
Erin is nice.
True
2
proof
[(((triple8) -> rule4))]
("Erin" "is" "nice" "+")
((triple8) -> (rule4 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is not nice.
False
2
inv-proof
[(((triple8) -> rule4))]
("Erin" "is" "nice" "-")
((triple8) -> (rule4 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is not young.
True
4
proof
[(((((triple8) -> rule4) triple8) -> rule6))]
("Erin" "is" "young" "-")
((((triple8) -> (rule4 % int2)) triple8) -> (rule6 % int1))
Erin is not young.
("Erin" "is" "young" "-")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Anne is young.
False
4
inv-proof
[(((((triple2) -> rule4) triple2) -> rule6))]
("Anne" "is" "young" "+")
((((triple2) -> (rule4 % int2)) triple2) -> (rule6 % int1))
Anne is not young.
("Anne" "is" "young" "-")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Harry is not nice.
Unknown
inv-rconc
[@1: Harry is nice.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Harry" "is" "nice" "-")
Erin is furry.
Unknown
random
[@0: Erin is furry.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "furry" "+")
Harry is not furry.
Unknown
inv-random
[@0: Harry is furry.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "furry" "-")
Harry is green.
Unknown
random
[@0: Harry is green.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "green" "+")
Charlie is not red.
Unknown
inv-random
[@0: Charlie is red.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "red" "-")
Charlie is young.
Unknown
random
[@0: Charlie is young.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "young" "+")
@0: Anne is cold.[(triple1)] Anne is green.[(triple2)] Anne is not rough.[(triple4)] Anne is red.[(triple3)] Charlie is cold.[(triple5)] Charlie is nice.[(triple6)] Erin is cold.[(triple7)] Erin is green.[(triple8)] Erin is red.[(triple9)] Erin is rough.[(triple10)] Harry is cold.[(triple11)] Harry is rough.[(triple12)] @1: Anne is nice.[(((triple2) -> rule4))] Erin is nice.[(((triple8) -> rule4))] @2: Anne is not young.[(((((triple2) -> rule4) triple2) -> rule6))] Erin is not young.[(((((triple8) -> rule4) triple8) -> rule6))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Anne is green.
("Anne" "is" "green" "+")
triple2
Anne is not rough.
("Anne" "is" "rough" "-")
triple4
Anne is red.
("Anne" "is" "red" "+")
triple3
Charlie is cold.
("Charlie" "is" "cold" "+")
triple5
Charlie is nice.
("Charlie" "is" "nice" "+")
triple6
Erin is cold.
("Erin" "is" "cold" "+")
triple7
Erin is green.
("Erin" "is" "green" "+")
triple8
Erin is red.
("Erin" "is" "red" "+")
triple9
Erin is rough.
("Erin" "is" "rough" "+")
triple10
Harry is cold.
("Harry" "is" "cold" "+")
triple11
Harry is rough.
("Harry" "is" "rough" "+")
triple12
Anne is nice.
("Anne" "is" "nice" "+")
((triple2) -> (rule4 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
((triple8) -> (rule4 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Anne is not young.
("Anne" "is" "young" "-")
((((triple2) -> (rule4 % int2)) triple2) -> (rule6 % int1))
Anne is not young.
("Anne" "is" "young" "-")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Erin is not young.
("Erin" "is" "young" "-")
((((triple8) -> (rule4 % int2)) triple8) -> (rule6 % int1))
Erin is not young.
("Erin" "is" "young" "-")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2