Although Bob is young and nice, he is as cold as ice. Dave is a big gentleman who is very nice. He is secretly green with envy. Fred is blue from ink he spilled on himself while being kind and helping some children paint. Gary who is is looking green after smelling the trash left out in the hot sun is seeing red from his anger.  Usually though he is described as being a kind and nice person. Cold and kind people tend to be blue. All the kind people in blue were young. Rough, blue people tend to have a lot of green aspects. When you meet kind people they wont have a cold heart. A cold temperatured and rough person who is also green will be big shaped.
Bob is young.
("Bob" "is" "young" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is big.
("Dave" "is" "big" "+")
Fred is kind.
("Fred" "is" "kind" "+")
Fred is blue.
("Fred" "is" "blue" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is green.
("Gary" "is" "green" "+")
If someone is cold and kind then they are blue.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "blue" "+"))
If someone is blue and kind then they are young.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "young" "+"))
If someone is rough and blue then they are green.
((("someone" "is" "rough" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "green" "+"))
If someone is kind then they are cold.
((("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
If someone is cold and rough and green then they are big.
((("someone" "is" "cold" "+") ("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
Dave is green.
True
1
proof
[(triple5)]
("Dave" "is" "green" "+")
triple5
Bob is not cold.
False
1
inv-proof
[(triple3)]
("Bob" "is" "cold" "-")
triple3
Gary is cold.
True
2
proof
[(((triple11) -> rule4))]
("Gary" "is" "cold" "+")
((triple11) -> (rule4 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Fred is not cold.
False
2
inv-proof
[(((triple7) -> rule4))]
("Fred" "is" "cold" "-")
((triple7) -> (rule4 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Gary is blue.
True
4
proof
[(((((triple11) -> rule4) triple11) -> rule1))]
("Gary" "is" "blue" "+")
((((triple11) -> (rule4 % int2)) triple11) -> (rule1 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is not blue.
False
4
inv-proof
[(((((triple11) -> rule4) triple11) -> rule1))]
("Gary" "is" "blue" "-")
((((triple11) -> (rule4 % int2)) triple11) -> (rule1 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is young.
True
6
proof
[(((((((triple11) -> rule4) triple11) -> rule1) triple11) -> rule2))]
("Gary" "is" "young" "+")
((((((triple11) -> (rule4 % int3)) triple11) -> (rule1 % int2)) triple11) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is not young.
False
6
inv-proof
[(((((((triple11) -> rule4) triple11) -> rule1) triple11) -> rule2))]
("Gary" "is" "young" "-")
((((((triple11) -> (rule4 % int3)) triple11) -> (rule1 % int2)) triple11) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Fred is not big.
Unknown
inv-rconc
[@1: Fred is big.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Fred" "is" "big" "-")
Gary is big.
Unknown
rconc
[@1: Gary is big.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Gary" "is" "big" "+")
Dave is not blue.
Unknown
inv-rconc
[@1: Dave is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "blue" "-")
Bob is blue.
Unknown
rconc
[@1: Bob is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "blue" "+")
Gary is not round.
Unknown
inv-random
[@0: Gary is round.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "round" "-")
Fred is red.
Unknown
random
[@0: Fred is red.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "red" "+")
Bob is not red.
Unknown
inv-random
[@0: Bob is red.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "red" "-")
Dave is kind.
Unknown
random
[@0: Dave is kind.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "kind" "+")
@0: Bob is cold.[(triple3)] Bob is nice.[(triple2)] Bob is young.[(triple1)] Dave is big.[(triple6)] Dave is green.[(triple5)] Dave is nice.[(triple4)] Fred is blue.[(triple8 OR ((((triple7) -> rule4) triple7) -> rule1))] Fred is kind.[(triple7)] Gary is green.[(triple12)] Gary is kind.[(triple11)] Gary is nice.[(triple10)] Gary is red.[(triple9)] @1: Fred is cold.[(((triple7) -> rule4))] Fred is young.[(((triple8 triple7) -> rule2) OR ((((((triple7) -> rule4) triple7) -> rule1) triple7) -> rule2))] Gary is cold.[(((triple11) -> rule4))] @2: Gary is blue.[(((((triple11) -> rule4) triple11) -> rule1))] @3: Gary is young.[(((((((triple11) -> rule4) triple11) -> rule1) triple11) -> rule2))]
Bob is cold.
("Bob" "is" "cold" "+")
triple3
Bob is nice.
("Bob" "is" "nice" "+")
triple2
Bob is young.
("Bob" "is" "young" "+")
triple1
Dave is big.
("Dave" "is" "big" "+")
triple6
Dave is green.
("Dave" "is" "green" "+")
triple5
Dave is nice.
("Dave" "is" "nice" "+")
triple4
Fred is blue.
("Fred" "is" "blue" "+")
triple8
((((triple7) -> (rule4 % int2)) triple7) -> (rule1 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is kind.
("Fred" "is" "kind" "+")
triple7
Gary is green.
("Gary" "is" "green" "+")
triple12
Gary is kind.
("Gary" "is" "kind" "+")
triple11
Gary is nice.
("Gary" "is" "nice" "+")
triple10
Gary is red.
("Gary" "is" "red" "+")
triple9
Fred is cold.
("Fred" "is" "cold" "+")
((triple7) -> (rule4 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
((triple8 triple7) -> (rule2 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
((((((triple7) -> (rule4 % int3)) triple7) -> (rule1 % int2)) triple7) -> (rule2 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Fred is cold.
("Fred" "is" "cold" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
((triple11) -> (rule4 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
((((triple11) -> (rule4 % int2)) triple11) -> (rule1 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
((((((triple11) -> (rule4 % int3)) triple11) -> (rule1 % int2)) triple11) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Although Bob is young and nice, he is as cold as ice.
Dave is a big gentleman who is very nice; He is secretly green with envy.
Fred is blue from ink he spilled on himself while being kind and helping some children paint.
Gary who is is looking green after smelling the trash left out in the hot sun is seeing red from his anger; Usually though he is described as being a kind and nice person.
Cold and kind people tend to be blue.
All the kind people in blue were young.
Rough, blue people tend to have a lot of green aspects.
When you meet kind people they wont have a cold heart.
A cold temperatured and rough person who is also green will be big shaped.