Blue and green Alan is so kind he snowplows the neighbors driveways and everyone thanks him with beer. Even though Bob is big and round, he is cold much of the time. Fred has become rough with permanent red skin from working outdoors for so many years.  He always feels cold.  He is kind to both people and animals. If a red person is cold and kind to others, they also tend to be blue. Someone who is blue and cold is also big. Young,cold and blue people are mostly round. Young, kind people have the trait of being cold and are also very nice to interact with. You can see that cold, blue people are round in shape. People with rough red and blue skin are young.
If someone is cold and kind and red then they are blue.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
If someone is blue and cold then they are big.
((("someone" "is" "blue" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "big" "+"))
If someone is blue and young and cold then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "young" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "round" "+"))
If someone is cold and young and kind then they are nice.
((("someone" "is" "cold" "+") ("someone" "is" "young" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "+"))
If someone is cold and blue then they are round.
((("someone" "is" "cold" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
If someone is rough and red and blue then they are young.
((("someone" "is" "rough" "+") ("someone" "is" "red" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "young" "+"))
Bob is big.
True
1
proof
[(triple6)]
("Bob" "is" "big" "+")
triple6
Alan is not green.
False
1
inv-proof
[(triple2)]
("Alan" "is" "green" "-")
triple2
Fred is blue.
True
4
proof
[(((triple10 triple9 triple8) -> rule1))]
("Fred" "is" "blue" "+")
((triple10 triple9 triple8) -> (rule1 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is not blue.
False
4
inv-proof
[(((triple10 triple9 triple8) -> rule1))]
("Fred" "is" "blue" "-")
((triple10 triple9 triple8) -> (rule1 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is round.
True
6
proof
[(((triple10 ((triple10 triple9 triple8) -> rule1)) -> rule5) OR ((((triple10 triple9 triple8) -> rule1) ((triple7 triple8 ((triple10 triple9 triple8) -> rule1)) -> rule6) triple10) -> rule3))]
("Fred" "is" "round" "+")
((triple10 ((triple10 triple9 triple8) -> (rule1 % int2))) -> (rule5 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
((((triple10 triple9 triple8) -> (rule1 % int3)) ((triple7 triple8 ((triple10 triple9 triple8) -> (rule1 % int3))) -> (rule6 % int2)) triple10) -> (rule3 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
int2
Fred is blue.
("Fred" "is" "blue" "+")
int3
Fred is not big.
False
6
inv-proof
[(((((triple10 triple9 triple8) -> rule1) triple10) -> rule2))]
("Fred" "is" "big" "-")
((((triple10 triple9 triple8) -> (rule1 % int2)) triple10) -> (rule2 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Fred is nice.
True
10
proof
[(((triple10 ((triple7 triple8 ((triple10 triple9 triple8) -> rule1)) -> rule6) triple9) -> rule4))]
("Fred" "is" "nice" "+")
((triple10 ((triple7 triple8 ((triple10 triple9 triple8) -> (rule1 % int3))) -> (rule6 % int2)) triple9) -> (rule4 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
int2
Fred is blue.
("Fred" "is" "blue" "+")
int3
Fred is not nice.
False
10
inv-proof
[(((triple10 ((triple7 triple8 ((triple10 triple9 triple8) -> rule1)) -> rule6) triple9) -> rule4))]
("Fred" "is" "nice" "-")
((triple10 ((triple7 triple8 ((triple10 triple9 triple8) -> (rule1 % int3))) -> (rule6 % int2)) triple9) -> (rule4 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
int2
Fred is blue.
("Fred" "is" "blue" "+")
int3
Alan is not young.
Unknown
inv-rconc
[@1: Alan is young.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Alan" "is" "young" "-")
Gary is young.
Unknown
rconc
[@1: Gary is young.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Gary" "is" "young" "+")
Alan is not big.
Unknown
inv-rconc
[@1: Alan is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Alan" "is" "big" "-")
Bob is young.
Unknown
rconc
[@1: Bob is young.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Bob" "is" "young" "+")
Fred is not green.
Unknown
inv-random
[@0: Fred is green.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "green" "-")
Bob is red.
Unknown
random
[@0: Bob is red.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "red" "+")
Bob is not green.
Unknown
inv-random
[@0: Bob is green.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "green" "-")
Bob is rough.
Unknown
random
[@0: Bob is rough.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "rough" "+")
@0: Alan is blue.[(triple3)] Alan is green.[(triple2)] Alan is kind.[(triple1)] Bob is big.[(triple6)] Bob is cold.[(triple5)] Bob is round.[(triple4)] Fred is cold.[(triple10)] Fred is kind.[(triple9)] Fred is red.[(triple8)] Fred is rough.[(triple7)] @1: Fred is blue.[(((triple10 triple9 triple8) -> rule1))] @2: Fred is big.[(((((triple10 triple9 triple8) -> rule1) triple10) -> rule2))] Fred is round.[(((triple10 ((triple10 triple9 triple8) -> rule1)) -> rule5) OR ((((triple10 triple9 triple8) -> rule1) ((triple7 triple8 ((triple10 triple9 triple8) -> rule1)) -> rule6) triple10) -> rule3))] Fred is young.[(((triple7 triple8 ((triple10 triple9 triple8) -> rule1)) -> rule6))] @3: Fred is nice.[(((triple10 ((triple7 triple8 ((triple10 triple9 triple8) -> rule1)) -> rule6) triple9) -> rule4))]
Alan is blue.
("Alan" "is" "blue" "+")
triple3
Alan is green.
("Alan" "is" "green" "+")
triple2
Alan is kind.
("Alan" "is" "kind" "+")
triple1
Bob is big.
("Bob" "is" "big" "+")
triple6
Bob is cold.
("Bob" "is" "cold" "+")
triple5
Bob is round.
("Bob" "is" "round" "+")
triple4
Fred is cold.
("Fred" "is" "cold" "+")
triple10
Fred is kind.
("Fred" "is" "kind" "+")
triple9
Fred is red.
("Fred" "is" "red" "+")
triple8
Fred is rough.
("Fred" "is" "rough" "+")
triple7
Fred is blue.
("Fred" "is" "blue" "+")
((triple10 triple9 triple8) -> (rule1 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
((((triple10 triple9 triple8) -> (rule1 % int2)) triple10) -> (rule2 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Fred is round.
("Fred" "is" "round" "+")
((triple10 ((triple10 triple9 triple8) -> (rule1 % int2))) -> (rule5 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
((((triple10 triple9 triple8) -> (rule1 % int3)) ((triple7 triple8 ((triple10 triple9 triple8) -> (rule1 % int3))) -> (rule6 % int2)) triple10) -> (rule3 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
int2
Fred is blue.
("Fred" "is" "blue" "+")
int3
Fred is young.
("Fred" "is" "young" "+")
((triple7 triple8 ((triple10 triple9 triple8) -> (rule1 % int2))) -> (rule6 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
((triple10 ((triple7 triple8 ((triple10 triple9 triple8) -> (rule1 % int3))) -> (rule6 % int2)) triple9) -> (rule4 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
int2
Fred is blue.
("Fred" "is" "blue" "+")
int3
Blue and green Alan is so kind he snowplows the neighbors driveways and everyone thanks him with beer.
Even though Bob is big and round, he is cold much of the time.
Fred has become rough with permanent red skin from working outdoors for so many years; He always feels cold; He is kind to both people and animals.
If a red person is cold and kind to others, they also tend to be blue.
Someone who is blue and cold is also big.
Young,cold and blue people are mostly round.
Young, kind people have the trait of being cold and are also very nice to interact with.
You can see that cold, blue people are round in shape.
People with rough red and blue skin are young.