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