Bob is not furry. Bob is green. Bob is nice. Bob is not young. Harry is round. Harry is not smart. Harry is young. All green, nice people are smart.
Bob is not furry.
("Bob" "is" "furry" "-")
Bob is green.
("Bob" "is" "green" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is not young.
("Bob" "is" "young" "-")
Harry is round.
("Harry" "is" "round" "+")
Harry is not smart.
("Harry" "is" "smart" "-")
Harry is young.
("Harry" "is" "young" "+")
All green, nice people are smart.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "smart" "+"))
Harry is not smart.
True
1
proof
[(triple6)]
("Harry" "is" "smart" "-")
triple6
Bob is not nice.
False
1
inv-proof
[(triple3)]
("Bob" "is" "nice" "-")
triple3
Bob is smart.
True
3
proof
[(((triple2 triple3) -> rule1))]
("Bob" "is" "smart" "+")
((triple2 triple3) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is not smart.
False
3
inv-proof
[(((triple2 triple3) -> rule1))]
("Bob" "is" "smart" "-")
((triple2 triple3) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is not quiet.
Unknown
inv-random
[@0: Bob is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "quiet" "-")
Harry is furry.
Unknown
random
[@0: Harry is furry.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "furry" "+")
Harry is not nice.
Unknown
inv-random
[@0: Harry is nice.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "nice" "-")
Harry is green.
Unknown
random
[@0: Harry is green.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "green" "+")
@0: Bob is green.[(triple2)] Bob is nice.[(triple3)] Bob is not furry.[(triple1)] Bob is not young.[(triple4)] Harry is not smart.[(triple6)] Harry is round.[(triple5)] Harry is young.[(triple7)] @1: Bob is smart.[(((triple2 triple3) -> rule1))]
Bob is green.
("Bob" "is" "green" "+")
triple2
Bob is nice.
("Bob" "is" "nice" "+")
triple3
Bob is not furry.
("Bob" "is" "furry" "-")
triple1
Bob is not young.
("Bob" "is" "young" "-")
triple4
Harry is not smart.
("Harry" "is" "smart" "-")
triple6
Harry is round.
("Harry" "is" "round" "+")
triple5
Harry is young.
("Harry" "is" "young" "+")
triple7
Bob is smart.
("Bob" "is" "smart" "+")
((triple2 triple3) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1