Anne is cold. Anne is green. Anne is nice. Anne is smart. Charlie is cold. Charlie is not furry. Charlie is green. Charlie is not nice. Charlie is not red. Charlie is round. Charlie is smart. Erin is furry. Erin is green. Erin is not nice. Erin is round. All furry things are smart. If Charlie is furry and Charlie is not cold then Charlie is red. If something is furry and not smart then it is nice.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is green.
("Anne" "is" "green" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is not furry.
("Charlie" "is" "furry" "-")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is not nice.
("Charlie" "is" "nice" "-")
Charlie is not red.
("Charlie" "is" "red" "-")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is not nice.
("Erin" "is" "nice" "-")
Erin is round.
("Erin" "is" "round" "+")
All furry things are smart.
((("something" "is" "furry" "+")) -> ("something" "is" "smart" "+"))
If Charlie is furry and Charlie is not cold then Charlie is red.
((("Charlie" "is" "furry" "+") ("Charlie" "is" "cold" "~")) -> ("Charlie" "is" "red" "+"))
If something is furry and not smart then it is nice.
((("something" "is" "furry" "+") ("something" "is" "smart" "~")) -> ("something" "is" "nice" "+"))
Anne is cold.
True
1
proof
[(triple1)]
("Anne" "is" "cold" "+")
triple1
Charlie is not green.
False
1
inv-proof
[(triple7)]
("Charlie" "is" "green" "-")
triple7
Erin is smart.
True
2
proof
[(((triple12) -> rule1))]
("Erin" "is" "smart" "+")
((triple12) -> (rule1 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is not smart.
False
2
inv-proof
[(((triple12) -> rule1))]
("Erin" "is" "smart" "-")
((triple12) -> (rule1 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Anne is not red.
Unknown
inv-random
[@0: Anne is red.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "red" "-")
Anne is round.
Unknown
random
[@0: Anne is round.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "round" "+")
Anne is not furry.
Unknown
inv-random
[@0: Anne is furry.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "furry" "-")
Erin is red.
Unknown
random
[@0: Erin is red.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "red" "+")
@0: Anne is cold.[(triple1)] Anne is green.[(triple2)] Anne is nice.[(triple3)] Anne is smart.[(triple4)] Charlie is cold.[(triple5)] Charlie is green.[(triple7)] Charlie is not furry.[(triple6)] Charlie is not nice.[(triple8)] Charlie is not red.[(triple9)] Charlie is round.[(triple10)] Charlie is smart.[(triple11)] Erin is furry.[(triple12)] Erin is green.[(triple13)] Erin is not nice.[(triple14)] Erin is round.[(triple15)] @1: Erin is smart.[(((triple12) -> rule1))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Anne is green.
("Anne" "is" "green" "+")
triple2
Anne is nice.
("Anne" "is" "nice" "+")
triple3
Anne is smart.
("Anne" "is" "smart" "+")
triple4
Charlie is cold.
("Charlie" "is" "cold" "+")
triple5
Charlie is green.
("Charlie" "is" "green" "+")
triple7
Charlie is not furry.
("Charlie" "is" "furry" "-")
triple6
Charlie is not nice.
("Charlie" "is" "nice" "-")
triple8
Charlie is not red.
("Charlie" "is" "red" "-")
triple9
Charlie is round.
("Charlie" "is" "round" "+")
triple10
Charlie is smart.
("Charlie" "is" "smart" "+")
triple11
Erin is furry.
("Erin" "is" "furry" "+")
triple12
Erin is green.
("Erin" "is" "green" "+")
triple13
Erin is not nice.
("Erin" "is" "nice" "-")
triple14
Erin is round.
("Erin" "is" "round" "+")
triple15
Erin is smart.
("Erin" "is" "smart" "+")
((triple12) -> (rule1 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1