Gary is big. Gary is red. Harry is furry. Harry is nice. Harry is quiet. Harry is red. Harry is round. All quiet, nice things are smart.
Gary is big.
("Gary" "is" "big" "+")
Gary is red.
("Gary" "is" "red" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is round.
("Harry" "is" "round" "+")
All quiet, nice things are smart.
((("something" "is" "quiet" "+") ("something" "is" "nice" "+")) -> ("something" "is" "smart" "+"))
Harry is furry.
True
1
proof
[(triple3)]
("Harry" "is" "furry" "+")
triple3
Gary is not red.
False
1
inv-proof
[(triple2)]
("Gary" "is" "red" "-")
triple2
Gary is not smart.
Unknown
inv-rconc
[@1: Gary is smart.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "smart" "-")
Gary is nice.
Unknown
random
[@0: Gary is nice.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "nice" "+")
@0: Gary is big.[(triple1)] Gary is red.[(triple2)] Harry is furry.[(triple3)] Harry is nice.[(triple4)] Harry is quiet.[(triple5)] Harry is red.[(triple6)] Harry is round.[(triple7)] @1: Harry is smart.[(((triple5 triple4) -> rule1))]
Gary is big.
("Gary" "is" "big" "+")
triple1
Gary is red.
("Gary" "is" "red" "+")
triple2
Harry is furry.
("Harry" "is" "furry" "+")
triple3
Harry is nice.
("Harry" "is" "nice" "+")
triple4
Harry is quiet.
("Harry" "is" "quiet" "+")
triple5
Harry is red.
("Harry" "is" "red" "+")
triple6
Harry is round.
("Harry" "is" "round" "+")
triple7
Harry is smart.
("Harry" "is" "smart" "+")
((triple5 triple4) -> (rule1 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1