You can see Bob walking down the street because he is big and round.  He's actually a kind guy even though he's rough around the edges.  He also has a red, ruddy complexion. Others enjoy Fred's company because he is so nice and kind. Everyone knows that Gary is nice and kind, but Gary is also blue from the cold. This makes him look rather round. A cold, rough person is also round. A round person who is nice is young. Cold, rough people are always green. A kind person who is big in size is definitely young. Someone who is kind and young with a round figure will always be red too. A young person who is red a kind is also usually big. Being big and blue is standard for being green.
Bob is round.
("Bob" "is" "round" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is big.
("Bob" "is" "big" "+")
Fred is nice.
("Fred" "is" "nice" "+")
Fred is kind.
("Fred" "is" "kind" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is blue.
("Gary" "is" "blue" "+")
If someone is rough and cold then they are round.
((("someone" "is" "rough" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "round" "+"))
If someone is nice and round then they are young.
((("someone" "is" "nice" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "young" "+"))
If someone is cold and rough then they are green.
((("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
If someone is kind and big then they are young.
((("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
If someone is round and young and kind then they are red.
((("someone" "is" "round" "+") ("someone" "is" "young" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "red" "+"))
If someone is red and young and kind then they are big.
((("someone" "is" "red" "+") ("someone" "is" "young" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
If someone is big and blue then they are green.
((("someone" "is" "big" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "green" "+"))
Gary is nice.
True
1
proof
[(triple9)]
("Gary" "is" "nice" "+")
triple9
Bob is not round.
False
1
inv-proof
[(triple1)]
("Bob" "is" "round" "-")
triple1
Bob is young.
True
3
proof
[(((triple4 triple5) -> rule4))]
("Bob" "is" "young" "+")
((triple4 triple5) -> (rule4 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is not young.
False
3
inv-proof
[(((triple4 triple5) -> rule4))]
("Bob" "is" "young" "-")
((triple4 triple5) -> (rule4 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Gary is red.
True
6
proof
[(((triple8 ((triple9 triple8) -> rule2) triple10) -> rule5))]
("Gary" "is" "red" "+")
((triple8 ((triple9 triple8) -> (rule2 % int2)) triple10) -> (rule5 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is not red.
False
6
inv-proof
[(((triple8 ((triple9 triple8) -> rule2) triple10) -> rule5))]
("Gary" "is" "red" "-")
((triple8 ((triple9 triple8) -> (rule2 % int2)) triple10) -> (rule5 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is big.
True
11
proof
[(((((triple8 ((triple9 triple8) -> rule2) triple10) -> rule5) ((triple9 triple8) -> rule2) triple10) -> rule6))]
("Gary" "is" "big" "+")
((((triple8 ((triple9 triple8) -> (rule2 % int3)) triple10) -> (rule5 % int2)) ((triple9 triple8) -> (rule2 % int3)) triple10) -> (rule6 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is not big.
False
11
inv-proof
[(((((triple8 ((triple9 triple8) -> rule2) triple10) -> rule5) ((triple9 triple8) -> rule2) triple10) -> rule6))]
("Gary" "is" "big" "-")
((((triple8 ((triple9 triple8) -> (rule2 % int3)) triple10) -> (rule5 % int2)) ((triple9 triple8) -> (rule2 % int3)) triple10) -> (rule6 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is green.
True
13
proof
[(((((((triple8 ((triple9 triple8) -> rule2) triple10) -> rule5) ((triple9 triple8) -> rule2) triple10) -> rule6) triple12) -> rule7))]
("Gary" "is" "green" "+")
((((((triple8 ((triple9 triple8) -> (rule2 % int4)) triple10) -> (rule5 % int3)) ((triple9 triple8) -> (rule2 % int4)) triple10) -> (rule6 % int2)) triple12) -> (rule7 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is not green.
False
13
inv-proof
[(((((((triple8 ((triple9 triple8) -> rule2) triple10) -> rule5) ((triple9 triple8) -> rule2) triple10) -> rule6) triple12) -> rule7))]
("Gary" "is" "green" "-")
((((((triple8 ((triple9 triple8) -> (rule2 % int4)) triple10) -> (rule5 % int3)) ((triple9 triple8) -> (rule2 % int4)) triple10) -> (rule6 % int2)) triple12) -> (rule7 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Fred is not big.
Unknown
inv-rconc
[@3: Fred is big.[CWA. Example of deepest failure = (rule6 <- rule5 <- rule1 <- FAIL)]]
("Fred" "is" "big" "-")
Fred is red.
Unknown
rconc
[@2: Fred is red.[CWA. Example of deepest failure = (rule5 <- rule1 <- FAIL)]]
("Fred" "is" "red" "+")
Fred is not young.
Unknown
inv-rconc
[@4: Fred is young.[CWA. Example of deepest failure = (rule4 <- rule6 <- rule5 <- rule1 <- FAIL)]]
("Fred" "is" "young" "-")
Eric is round.
Unknown
rconc
[@1: Eric is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Eric" "is" "round" "+")
Bob is not green.
Unknown
inv-rconc
[@1: Bob is green.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Bob" "is" "green" "-")
Eric is rough.
Unknown
random
[@0: Eric is rough.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "rough" "+")
Fred is not cold.
Unknown
inv-random
[@0: Fred is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "cold" "-")
Fred is blue.
Unknown
random
[@0: Fred is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "blue" "+")
Bob is not blue.
Unknown
inv-random
[@0: Bob is blue.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "blue" "-")
Eric is kind.
Unknown
random
[@0: Eric is kind.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "kind" "+")
@0: Bob is big.[(triple5)] Bob is kind.[(triple4)] Bob is red.[(triple3 OR ((triple1 ((triple4 triple5) -> rule4) triple4) -> rule5))] Bob is rough.[(triple2)] Bob is round.[(triple1)] Fred is kind.[(triple7)] Fred is nice.[(triple6)] Gary is blue.[(triple12)] Gary is cold.[(triple11)] Gary is kind.[(triple10)] Gary is nice.[(triple9)] Gary is round.[(triple8)] @1: Bob is young.[(((triple4 triple5) -> rule4))] Gary is young.[(((triple9 triple8) -> rule2))] @2: Gary is red.[(((triple8 ((triple9 triple8) -> rule2) triple10) -> rule5))] @3: Gary is big.[(((((triple8 ((triple9 triple8) -> rule2) triple10) -> rule5) ((triple9 triple8) -> rule2) triple10) -> rule6))] @4: Gary is green.[(((((((triple8 ((triple9 triple8) -> rule2) triple10) -> rule5) ((triple9 triple8) -> rule2) triple10) -> rule6) triple12) -> rule7))]
Bob is big.
("Bob" "is" "big" "+")
triple5
Bob is kind.
("Bob" "is" "kind" "+")
triple4
Bob is red.
("Bob" "is" "red" "+")
triple3
((triple1 ((triple4 triple5) -> (rule4 % int2)) triple4) -> (rule5 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
triple2
Bob is round.
("Bob" "is" "round" "+")
triple1
Fred is kind.
("Fred" "is" "kind" "+")
triple7
Fred is nice.
("Fred" "is" "nice" "+")
triple6
Gary is blue.
("Gary" "is" "blue" "+")
triple12
Gary is cold.
("Gary" "is" "cold" "+")
triple11
Gary is kind.
("Gary" "is" "kind" "+")
triple10
Gary is nice.
("Gary" "is" "nice" "+")
triple9
Gary is round.
("Gary" "is" "round" "+")
triple8
Bob is young.
("Bob" "is" "young" "+")
((triple4 triple5) -> (rule4 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
((triple9 triple8) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
((triple8 ((triple9 triple8) -> (rule2 % int2)) triple10) -> (rule5 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
((((triple8 ((triple9 triple8) -> (rule2 % int3)) triple10) -> (rule5 % int2)) ((triple9 triple8) -> (rule2 % int3)) triple10) -> (rule6 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
((((((triple8 ((triple9 triple8) -> (rule2 % int4)) triple10) -> (rule5 % int3)) ((triple9 triple8) -> (rule2 % int4)) triple10) -> (rule6 % int2)) triple12) -> (rule7 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
You can see Bob walking down the street because he is big and round; He's actually a kind guy even though he's rough around the edges; He also has a red, ruddy complexion.
Others enjoy Fred's company because he is so nice and kind.
Everyone knows that Gary is nice and kind, but Gary is also blue from the cold; This makes him look rather round.
A cold, rough person is also round.
A round person who is nice is young.
Cold, rough people are always green.
A kind person who is big in size is definitely young.
Someone who is kind and young with a round figure will always be red too.
A young person who is red a kind is also usually big.
Being big and blue is standard for being green.