Young Bob is a big, cold, rough person. Charlie is very nice to people, but he's also rather big. My friend Dave is very young. People say he is nice for having a round shape. Fred's skin turned blue and green in a lab accident.  Despite his outward appearance, he is really nice. If a red person is cold and kind to others, they also tend to be blue. If people are cold they are often red. A red colored person will be rough textured and will be blue. A big blue someone could also be green. Green and blue, when found in one person, signify someone who is cold. People that feel green are cold to people that try to help them. Among the green people who are young, the color blue is always part of them.
Bob is young.
("Bob" "is" "young" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is big.
("Bob" "is" "big" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Dave is young.
("Dave" "is" "young" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Fred is nice.
("Fred" "is" "nice" "+")
Fred is green.
("Fred" "is" "green" "+")
Fred is blue.
("Fred" "is" "blue" "+")
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 cold then they are red.
((("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
If someone is red and rough then they are blue.
((("someone" "is" "red" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "+"))
If someone is blue and big then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "green" "+"))
If someone is green and blue then they are cold.
((("someone" "is" "green" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "cold" "+"))
If someone is green then they are cold.
((("someone" "is" "green" "+")) -> ("someone" "is" "cold" "+"))
If someone is green and young then they are blue.
((("someone" "is" "green" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "blue" "+"))
Bob is cold.
True
1
proof
[(triple3)]
("Bob" "is" "cold" "+")
triple3
Charlie is not big.
False
1
inv-proof
[(triple6)]
("Charlie" "is" "big" "-")
triple6
Fred is cold.
True
2
proof
[(((triple11) -> rule6) OR ((triple11 triple12) -> rule5))]
("Fred" "is" "cold" "+")
((triple11) -> (rule6 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
((triple11 triple12) -> (rule5 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is not cold.
False
2
inv-proof
[(((triple11) -> rule6) OR ((triple11 triple12) -> rule5))]
("Fred" "is" "cold" "-")
((triple11) -> (rule6 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
((triple11 triple12) -> (rule5 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Bob is blue.
True
4
proof
[(((((triple3) -> rule2) triple2) -> rule3))]
("Bob" "is" "blue" "+")
((((triple3) -> (rule2 % int2)) triple2) -> (rule3 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is not blue.
False
4
inv-proof
[(((((triple3) -> rule2) triple2) -> rule3))]
("Bob" "is" "blue" "-")
((((triple3) -> (rule2 % int2)) triple2) -> (rule3 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is green.
True
6
proof
[(((((((triple3) -> rule2) triple2) -> rule3) triple4) -> rule4))]
("Bob" "is" "green" "+")
((((((triple3) -> (rule2 % int3)) triple2) -> (rule3 % int2)) triple4) -> (rule4 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is not green.
False
6
inv-proof
[(((((((triple3) -> rule2) triple2) -> rule3) triple4) -> rule4))]
("Bob" "is" "green" "-")
((((((triple3) -> (rule2 % int3)) triple2) -> (rule3 % int2)) triple4) -> (rule4 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Dave is not blue.
Unknown
inv-rconc
[@2: Dave is blue.[CWA. Example of deepest failure = (rule7 <- rule4 <- FAIL)]]
("Dave" "is" "blue" "-")
Charlie is cold.
Unknown
rconc
[@3: Charlie is cold.[CWA. Example of deepest failure = (rule6 <- rule4 <- rule1 <- FAIL)]]
("Charlie" "is" "cold" "+")
Dave is not cold.
Unknown
inv-rconc
[@2: Dave is cold.[CWA. Example of deepest failure = (rule5 <- rule4 <- FAIL)]]
("Dave" "is" "cold" "-")
Dave is red.
Unknown
rconc
[@3: Dave is red.[CWA. Example of deepest failure = (rule2 <- rule5 <- rule4 <- FAIL)]]
("Dave" "is" "red" "+")
Fred is not big.
Unknown
inv-random
[@0: Fred is big.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "big" "-")
Bob is nice.
Unknown
random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "+")
Charlie is not kind.
Unknown
inv-random
[@0: Charlie is kind.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "kind" "-")
Charlie is rough.
Unknown
random
[@0: Charlie is rough.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "rough" "+")
@0: Bob is big.[(triple4)] Bob is cold.[(triple3)] Bob is rough.[(triple2)] Bob is young.[(triple1)] Charlie is big.[(triple6)] Charlie is nice.[(triple5)] Dave is nice.[(triple9)] Dave is round.[(triple8)] Dave is young.[(triple7)] Fred is blue.[(triple12)] Fred is green.[(triple11)] Fred is nice.[(triple10)] @1: Bob is red.[(((triple3) -> rule2))] Fred is cold.[(((triple11) -> rule6) OR ((triple11 triple12) -> rule5))] @2: Bob is blue.[(((((triple3) -> rule2) triple2) -> rule3))] Fred is red.[(((((triple11) -> rule6)) -> rule2) OR ((((triple11 triple12) -> rule5)) -> rule2))] @3: Bob is green.[(((((((triple3) -> rule2) triple2) -> rule3) triple4) -> rule4))]
Bob is big.
("Bob" "is" "big" "+")
triple4
Bob is cold.
("Bob" "is" "cold" "+")
triple3
Bob is rough.
("Bob" "is" "rough" "+")
triple2
Bob is young.
("Bob" "is" "young" "+")
triple1
Charlie is big.
("Charlie" "is" "big" "+")
triple6
Charlie is nice.
("Charlie" "is" "nice" "+")
triple5
Dave is nice.
("Dave" "is" "nice" "+")
triple9
Dave is round.
("Dave" "is" "round" "+")
triple8
Dave is young.
("Dave" "is" "young" "+")
triple7
Fred is blue.
("Fred" "is" "blue" "+")
triple12
Fred is green.
("Fred" "is" "green" "+")
triple11
Fred is nice.
("Fred" "is" "nice" "+")
triple10
Bob is red.
("Bob" "is" "red" "+")
((triple3) -> (rule2 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
((triple11) -> (rule6 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
((triple11 triple12) -> (rule5 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
((((triple3) -> (rule2 % int2)) triple2) -> (rule3 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Fred is red.
("Fred" "is" "red" "+")
((((triple11) -> (rule6 % int2))) -> (rule2 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
((((triple11 triple12) -> (rule5 % int2))) -> (rule2 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
((((((triple3) -> (rule2 % int3)) triple2) -> (rule3 % int2)) triple4) -> (rule4 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Young Bob is a big, cold, rough person.
Charlie is very nice to people, but he's also rather big.
My friend Dave is very young; People say he is nice for having a round shape.
Fred's skin turned blue and green in a lab accident; Despite his outward appearance, he is really nice.
If a red person is cold and kind to others, they also tend to be blue.
If people are cold they are often red.
A red colored person will be rough textured and will be blue.
A big blue someone could also be green.
Green and blue, when found in one person, signify someone who is cold.
People that feel green are cold to people that try to help them.
Among the green people who are young, the color blue is always part of them.