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