Gary is big. Gary is not furry. Gary is green. Gary is nice. Gary is quiet. Gary is red. Gary is smart. Harry is big. Harry is nice. Harry is red. All nice, green people are smart. All nice people are red. If Harry is green then Harry is nice.
Gary is big.
("Gary" "is" "big" "+")
Gary is not furry.
("Gary" "is" "furry" "-")
Gary is green.
("Gary" "is" "green" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is red.
("Harry" "is" "red" "+")
All nice, green people are smart.
((("someone" "is" "nice" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "smart" "+"))
All nice people are red.
((("someone" "is" "nice" "+")) -> ("someone" "is" "red" "+"))
If Harry is green then Harry is nice.
((("Harry" "is" "green" "+")) -> ("Harry" "is" "nice" "+"))
Harry is big.
True
1
proof
[(triple8)]
("Harry" "is" "big" "+")
triple8
Harry is not nice.
False
1
inv-proof
[(triple9)]
("Harry" "is" "nice" "-")
triple9
Harry is not smart.
Unknown
inv-rconc
[@1: Harry is smart.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "smart" "-")
Harry is green.
Unknown
random
[@0: Harry is green.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "green" "+")
@0: Gary is big.[(triple1)] Gary is green.[(triple3)] Gary is nice.[(triple4)] Gary is not furry.[(triple2)] Gary is quiet.[(triple5)] Gary is red.[(triple6 OR ((triple4) -> rule2))] Gary is smart.[(triple7 OR ((triple4 triple3) -> rule1))] Harry is big.[(triple8)] Harry is nice.[(triple9)] Harry is red.[(triple10 OR ((triple9) -> rule2))]
Gary is big.
("Gary" "is" "big" "+")
triple1
Gary is green.
("Gary" "is" "green" "+")
triple3
Gary is nice.
("Gary" "is" "nice" "+")
triple4
Gary is not furry.
("Gary" "is" "furry" "-")
triple2
Gary is quiet.
("Gary" "is" "quiet" "+")
triple5
Gary is red.
("Gary" "is" "red" "+")
triple6
((triple4) -> (rule2 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
triple7
((triple4 triple3) -> (rule1 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
triple8
Harry is nice.
("Harry" "is" "nice" "+")
triple9
Harry is red.
("Harry" "is" "red" "+")
triple10
((triple9) -> (rule2 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1