Bob always goes out of his way to show that he is kind to people. Red Fred is what folks call him, because he is quite red. Gary's a round guy, and a red and green guy. Harry is rough and cold, but he's young and will get over it. Because someone is green and kind they are extremely nice to people. Fat, round people who are green with envy and notoriously rough. A red colored person will be rough textured and will be blue. Being kind and young means that if they are also blue, they are always red. If you meet somebody who is young, rough and round, you can be sure they are nice as well. A blue, rough and round person will also be a big person. Blue, red and nice people are always big, too.
Bob is kind.
("Bob" "is" "kind" "+")
Fred is red.
("Fred" "is" "red" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is green.
("Gary" "is" "green" "+")
Harry is young.
("Harry" "is" "young" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is cold.
("Harry" "is" "cold" "+")
If someone is green and kind then they are nice.
((("someone" "is" "green" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "+"))
If someone is green and round then they are rough.
((("someone" "is" "green" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "rough" "+"))
If someone is red and rough then they are blue.
((("someone" "is" "red" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "+"))
If someone is blue and kind and young then they are red.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "red" "+"))
If someone is young and round and rough then they are nice.
((("someone" "is" "young" "+") ("someone" "is" "round" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "+"))
If someone is blue and rough and round then they are big.
((("someone" "is" "blue" "+") ("someone" "is" "rough" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "big" "+"))
If someone is nice and blue and red then they are big.
((("someone" "is" "nice" "+") ("someone" "is" "blue" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "big" "+"))
Fred is red.
True
1
proof
[(triple2)]
("Fred" "is" "red" "+")
triple2
Harry is not rough.
False
1
inv-proof
[(triple7)]
("Harry" "is" "rough" "-")
triple7
Gary is rough.
True
3
proof
[(((triple5 triple3) -> rule2))]
("Gary" "is" "rough" "+")
((triple5 triple3) -> (rule2 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is not rough.
False
3
inv-proof
[(((triple5 triple3) -> rule2))]
("Gary" "is" "rough" "-")
((triple5 triple3) -> (rule2 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is blue.
True
5
proof
[(((triple4 ((triple5 triple3) -> rule2)) -> rule3))]
("Gary" "is" "blue" "+")
((triple4 ((triple5 triple3) -> (rule2 % int2))) -> (rule3 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is not blue.
False
5
inv-proof
[(((triple4 ((triple5 triple3) -> rule2)) -> rule3))]
("Gary" "is" "blue" "-")
((triple4 ((triple5 triple3) -> (rule2 % int2))) -> (rule3 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is big.
True
10
proof
[(((((triple4 ((triple5 triple3) -> rule2)) -> rule3) ((triple5 triple3) -> rule2) triple3) -> rule6))]
("Gary" "is" "big" "+")
((((triple4 ((triple5 triple3) -> (rule2 % int3))) -> (rule3 % int2)) ((triple5 triple3) -> (rule2 % int3)) triple3) -> (rule6 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is not big.
False
10
inv-proof
[(((((triple4 ((triple5 triple3) -> rule2)) -> rule3) ((triple5 triple3) -> rule2) triple3) -> rule6))]
("Gary" "is" "big" "-")
((((triple4 ((triple5 triple3) -> (rule2 % int3))) -> (rule3 % int2)) ((triple5 triple3) -> (rule2 % int3)) triple3) -> (rule6 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is not nice.
Unknown
inv-rconc
[@1: Gary is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "nice" "-")
Bob is big.
Unknown
rconc
[@2: Bob is big.[CWA. Example of deepest failure = (rule7 <- rule1 <- FAIL)]]
("Bob" "is" "big" "+")
Fred is not nice.
Unknown
inv-rconc
[@1: Fred is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fred" "is" "nice" "-")
Harry is nice.
Unknown
rconc
[@1: Harry is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "nice" "+")
Gary is not cold.
Unknown
inv-random
[@0: Gary is cold.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "cold" "-")
Bob is young.
Unknown
random
[@0: Bob is young.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "young" "+")
Bob is not green.
Unknown
inv-random
[@0: Bob is green.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "green" "-")
Fred is kind.
Unknown
random
[@0: Fred is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "kind" "+")
@0: Bob is kind.[(triple1)] Fred is red.[(triple2)] Gary is green.[(triple5)] Gary is red.[(triple4)] Gary is round.[(triple3)] Harry is cold.[(triple8)] Harry is rough.[(triple7)] Harry is young.[(triple6)] @1: Gary is rough.[(((triple5 triple3) -> rule2))] @2: Gary is blue.[(((triple4 ((triple5 triple3) -> rule2)) -> rule3))] @3: Gary is big.[(((((triple4 ((triple5 triple3) -> rule2)) -> rule3) ((triple5 triple3) -> rule2) triple3) -> rule6))]
Bob is kind.
("Bob" "is" "kind" "+")
triple1
Fred is red.
("Fred" "is" "red" "+")
triple2
Gary is green.
("Gary" "is" "green" "+")
triple5
Gary is red.
("Gary" "is" "red" "+")
triple4
Gary is round.
("Gary" "is" "round" "+")
triple3
Harry is cold.
("Harry" "is" "cold" "+")
triple8
Harry is rough.
("Harry" "is" "rough" "+")
triple7
Harry is young.
("Harry" "is" "young" "+")
triple6
Gary is rough.
("Gary" "is" "rough" "+")
((triple5 triple3) -> (rule2 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
((triple4 ((triple5 triple3) -> (rule2 % int2))) -> (rule3 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
((((triple4 ((triple5 triple3) -> (rule2 % int3))) -> (rule3 % int2)) ((triple5 triple3) -> (rule2 % int3)) triple3) -> (rule6 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Bob always goes out of his way to show that he is kind to people.
Red Fred is what folks call him, because he is quite red.
Gary's a round guy, and a red and green guy.
Harry is rough and cold, but he's young and will get over it.
Because someone is green and kind they are extremely nice to people.
Fat, round people who are green with envy and notoriously rough.
A red colored person will be rough textured and will be blue.
Being kind and young means that if they are also blue, they are always red.
If you meet somebody who is young, rough and round, you can be sure they are nice as well.
A blue, rough and round person will also be a big person.
Blue, red and nice people are always big, too.