Anne is blue. Anne is smart. Anne is not young. Bob is not furry. Bob is rough. Bob is round. Bob is smart. Bob is young. Harry is not cold. Harry is furry. Harry is rough. Harry is young. Furry people are not smart. If Anne is cold and Anne is not young then Anne is not furry.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Anne is not young.
("Anne" "is" "young" "-")
Bob is not furry.
("Bob" "is" "furry" "-")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Bob is young.
("Bob" "is" "young" "+")
Harry is not cold.
("Harry" "is" "cold" "-")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is young.
("Harry" "is" "young" "+")
Furry people are not smart.
((("someone" "is" "furry" "+")) -> ("someone" "is" "smart" "-"))
If Anne is cold and Anne is not young then Anne is not furry.
((("Anne" "is" "cold" "+") ("Anne" "is" "young" "~")) -> ("Anne" "is" "furry" "-"))
Bob is young.
True
1
proof
[(triple8)]
("Bob" "is" "young" "+")
triple8
Anne is not blue.
False
1
inv-proof
[(triple1)]
("Anne" "is" "blue" "-")
triple1
Harry is not smart.
True
2
proof
[(((triple10) -> rule1))]
("Harry" "is" "smart" "-")
((triple10) -> (rule1 % int1))
Harry is not smart.
("Harry" "is" "smart" "-")
int1
Harry is smart.
False
2
inv-proof
[(((triple10) -> rule1))]
("Harry" "is" "smart" "+")
((triple10) -> (rule1 % int1))
Harry is not smart.
("Harry" "is" "smart" "-")
int1
Anne is not furry.
Unknown
inv-random
[@0: Anne is furry.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "furry" "-")
Harry is round.
Unknown
random
[@0: Harry is round.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "round" "+")
Anne is not cold.
Unknown
inv-random
[@0: Anne is cold.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "cold" "-")
Harry is blue.
Unknown
random
[@0: Harry is blue.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "blue" "+")
@0: Anne is blue.[(triple1)] Anne is not young.[(triple3)] Anne is smart.[(triple2)] Bob is not furry.[(triple4)] Bob is rough.[(triple5)] Bob is round.[(triple6)] Bob is smart.[(triple7)] Bob is young.[(triple8)] Harry is furry.[(triple10)] Harry is not cold.[(triple9)] Harry is rough.[(triple11)] Harry is young.[(triple12)] @1: Harry is not smart.[(((triple10) -> rule1))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
Anne is not young.
("Anne" "is" "young" "-")
triple3
Anne is smart.
("Anne" "is" "smart" "+")
triple2
Bob is not furry.
("Bob" "is" "furry" "-")
triple4
Bob is rough.
("Bob" "is" "rough" "+")
triple5
Bob is round.
("Bob" "is" "round" "+")
triple6
Bob is smart.
("Bob" "is" "smart" "+")
triple7
Bob is young.
("Bob" "is" "young" "+")
triple8
Harry is furry.
("Harry" "is" "furry" "+")
triple10
Harry is not cold.
("Harry" "is" "cold" "-")
triple9
Harry is rough.
("Harry" "is" "rough" "+")
triple11
Harry is young.
("Harry" "is" "young" "+")
triple12
Harry is not smart.
("Harry" "is" "smart" "-")
((triple10) -> (rule1 % int1))
Harry is not smart.
("Harry" "is" "smart" "-")
int1