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