Alan is blue and cold. The big young man with the round body who seems to be having a rough time due to being green is named Bob. Charlie is rough and cold, but he's young and will get over it. Others enjoy Fred's company because he is so nice and kind. If someone is blue and rough, they always see red in others. Maybe someone is rough and blue with the cold. Young, round, and cold people have a habit of looking pretty red. Round green people usually feel blue. Rough people will often be blue.  They thrive on being kind and nice. People who are cold and and red are also young and kind.
Alan is cold.
("Alan" "is" "cold" "+")
Alan is blue.
("Alan" "is" "blue" "+")
Bob is young.
("Bob" "is" "young" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is big.
("Bob" "is" "big" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Fred is nice.
("Fred" "is" "nice" "+")
Fred is kind.
("Fred" "is" "kind" "+")
If someone is blue and rough then they are red.
((("someone" "is" "blue" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
If someone is rough and blue then they are cold.
((("someone" "is" "rough" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "cold" "+"))
If someone is cold and young and round then they are red.
((("someone" "is" "cold" "+") ("someone" "is" "young" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "red" "+"))
If someone is round and green then they are blue.
((("someone" "is" "round" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "blue" "+"))
If someone is rough and kind and blue then they are nice.
((("someone" "is" "rough" "+") ("someone" "is" "kind" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "nice" "+"))
If someone is red and young and cold then they are kind.
((("someone" "is" "red" "+") ("someone" "is" "young" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "kind" "+"))
Charlie is young.
True
1
proof
[(triple8)]
("Charlie" "is" "young" "+")
triple8
Charlie is not young.
False
1
inv-proof
[(triple8)]
("Charlie" "is" "young" "-")
triple8
Bob is blue.
True
3
proof
[(((triple4 triple6) -> rule4))]
("Bob" "is" "blue" "+")
((triple4 triple6) -> (rule4 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is not blue.
False
3
inv-proof
[(((triple4 triple6) -> rule4))]
("Bob" "is" "blue" "-")
((triple4 triple6) -> (rule4 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is red.
True
5
proof
[(((((triple4 triple6) -> rule4) triple5) -> rule1) OR ((((triple5 ((triple4 triple6) -> rule4)) -> rule2) triple3 triple4) -> rule3))]
("Bob" "is" "red" "+")
((((triple4 triple6) -> (rule4 % int2)) triple5) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
((((triple5 ((triple4 triple6) -> (rule4 % int3))) -> (rule2 % int2)) triple3 triple4) -> (rule3 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is not red.
False
5
inv-proof
[(((((triple4 triple6) -> rule4) triple5) -> rule1) OR ((((triple5 ((triple4 triple6) -> rule4)) -> rule2) triple3 triple4) -> rule3))]
("Bob" "is" "red" "-")
((((triple4 triple6) -> (rule4 % int2)) triple5) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
((((triple5 ((triple4 triple6) -> (rule4 % int3))) -> (rule2 % int2)) triple3 triple4) -> (rule3 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is kind.
True
12
proof
[(((((((triple4 triple6) -> rule4) triple5) -> rule1) triple3 ((triple5 ((triple4 triple6) -> rule4)) -> rule2)) -> rule6) OR ((((((triple5 ((triple4 triple6) -> rule4)) -> rule2) triple3 triple4) -> rule3) triple3 ((triple5 ((triple4 triple6) -> rule4)) -> rule2)) -> rule6))]
("Bob" "is" "kind" "+")
((((((triple4 triple6) -> (rule4 % int4)) triple5) -> (rule1 % int3)) triple3 ((triple5 ((triple4 triple6) -> (rule4 % int4))) -> (rule2 % int2))) -> (rule6 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
((((((triple5 ((triple4 triple6) -> (rule4 % int4))) -> (rule2 % int3)) triple3 triple4) -> (rule3 % int2)) triple3 ((triple5 ((triple4 triple6) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule6 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
Bob is not kind.
False
12
inv-proof
[(((((((triple4 triple6) -> rule4) triple5) -> rule1) triple3 ((triple5 ((triple4 triple6) -> rule4)) -> rule2)) -> rule6) OR ((((((triple5 ((triple4 triple6) -> rule4)) -> rule2) triple3 triple4) -> rule3) triple3 ((triple5 ((triple4 triple6) -> rule4)) -> rule2)) -> rule6))]
("Bob" "is" "kind" "-")
((((((triple4 triple6) -> (rule4 % int4)) triple5) -> (rule1 % int3)) triple3 ((triple5 ((triple4 triple6) -> (rule4 % int4))) -> (rule2 % int2))) -> (rule6 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
((((((triple5 ((triple4 triple6) -> (rule4 % int4))) -> (rule2 % int3)) triple3 triple4) -> (rule3 % int2)) triple3 ((triple5 ((triple4 triple6) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule6 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
Bob is nice.
True
17
proof
[(((triple5 ((((((triple4 triple6) -> rule4) triple5) -> rule1) triple3 ((triple5 ((triple4 triple6) -> rule4)) -> rule2)) -> rule6) ((triple4 triple6) -> rule4)) -> rule5) OR ((triple5 ((((((triple5 ((triple4 triple6) -> rule4)) -> rule2) triple3 triple4) -> rule3) triple3 ((triple5 ((triple4 triple6) -> rule4)) -> rule2)) -> rule6) ((triple4 triple6) -> rule4)) -> rule5))]
("Bob" "is" "nice" "+")
((triple5 ((((((triple4 triple6) -> (rule4 % int5)) triple5) -> (rule1 % int4)) triple3 ((triple5 ((triple4 triple6) -> (rule4 % int5))) -> (rule2 % int3))) -> (rule6 % int2)) ((triple4 triple6) -> (rule4 % int5))) -> (rule5 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is blue.
("Bob" "is" "blue" "+")
int5
((triple5 ((((((triple5 ((triple4 triple6) -> (rule4 % int5))) -> (rule2 % int4)) triple3 triple4) -> (rule3 % int3)) triple3 ((triple5 ((triple4 triple6) -> (rule4 % int5))) -> (rule2 % int4))) -> (rule6 % int2)) ((triple4 triple6) -> (rule4 % int5))) -> (rule5 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Bob is blue.
("Bob" "is" "blue" "+")
int5
Bob is not nice.
False
17
inv-proof
[(((triple5 ((((((triple4 triple6) -> rule4) triple5) -> rule1) triple3 ((triple5 ((triple4 triple6) -> rule4)) -> rule2)) -> rule6) ((triple4 triple6) -> rule4)) -> rule5) OR ((triple5 ((((((triple5 ((triple4 triple6) -> rule4)) -> rule2) triple3 triple4) -> rule3) triple3 ((triple5 ((triple4 triple6) -> rule4)) -> rule2)) -> rule6) ((triple4 triple6) -> rule4)) -> rule5))]
("Bob" "is" "nice" "-")
((triple5 ((((((triple4 triple6) -> (rule4 % int5)) triple5) -> (rule1 % int4)) triple3 ((triple5 ((triple4 triple6) -> (rule4 % int5))) -> (rule2 % int3))) -> (rule6 % int2)) ((triple4 triple6) -> (rule4 % int5))) -> (rule5 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is blue.
("Bob" "is" "blue" "+")
int5
((triple5 ((((((triple5 ((triple4 triple6) -> (rule4 % int5))) -> (rule2 % int4)) triple3 triple4) -> (rule3 % int3)) triple3 ((triple5 ((triple4 triple6) -> (rule4 % int5))) -> (rule2 % int4))) -> (rule6 % int2)) ((triple4 triple6) -> (rule4 % int5))) -> (rule5 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Bob is blue.
("Bob" "is" "blue" "+")
int5
Fred is not red.
Unknown
inv-rconc
[@1: Fred is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fred" "is" "red" "-")
Alan is nice.
Unknown
rconc
[@1: Alan is nice.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Alan" "is" "nice" "+")
Charlie is not red.
Unknown
inv-rconc
[@2: Charlie is red.[CWA. Example of deepest failure = (rule1 <- rule4 <- FAIL)]]
("Charlie" "is" "red" "-")
Fred is cold.
Unknown
rconc
[@1: Fred is cold.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fred" "is" "cold" "+")
Alan is not red.
Unknown
inv-rconc
[@1: Alan is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Alan" "is" "red" "-")
Fred is green.
Unknown
random
[@0: Fred is green.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "green" "+")
Alan is not young.
Unknown
inv-random
[@0: Alan is young.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "young" "-")
Charlie is big.
Unknown
random
[@0: Charlie is big.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "big" "+")
Charlie is not round.
Unknown
inv-random
[@0: Charlie is round.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "round" "-")
Fred is round.
Unknown
random
[@0: Fred is round.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "round" "+")
@0: Alan is blue.[(triple2)] Alan is cold.[(triple1)] Bob is big.[(triple7)] Bob is green.[(triple6)] Bob is rough.[(triple5)] Bob is round.[(triple4)] Bob is young.[(triple3)] Charlie is cold.[(triple10)] Charlie is rough.[(triple9)] Charlie is young.[(triple8)] Fred is kind.[(triple12)] Fred is nice.[(triple11)] @1: Bob is blue.[(((triple4 triple6) -> rule4))] @2: Bob is cold.[(((triple5 ((triple4 triple6) -> rule4)) -> rule2))] Bob is red.[(((((triple4 triple6) -> rule4) triple5) -> rule1) OR ((((triple5 ((triple4 triple6) -> rule4)) -> rule2) triple3 triple4) -> rule3))] @3: Bob is kind.[(((((((triple4 triple6) -> rule4) triple5) -> rule1) triple3 ((triple5 ((triple4 triple6) -> rule4)) -> rule2)) -> rule6) OR ((((((triple5 ((triple4 triple6) -> rule4)) -> rule2) triple3 triple4) -> rule3) triple3 ((triple5 ((triple4 triple6) -> rule4)) -> rule2)) -> rule6))] @4: Bob is nice.[(((triple5 ((((((triple4 triple6) -> rule4) triple5) -> rule1) triple3 ((triple5 ((triple4 triple6) -> rule4)) -> rule2)) -> rule6) ((triple4 triple6) -> rule4)) -> rule5) OR ((triple5 ((((((triple5 ((triple4 triple6) -> rule4)) -> rule2) triple3 triple4) -> rule3) triple3 ((triple5 ((triple4 triple6) -> rule4)) -> rule2)) -> rule6) ((triple4 triple6) -> rule4)) -> rule5))]
Alan is blue.
("Alan" "is" "blue" "+")
triple2
Alan is cold.
("Alan" "is" "cold" "+")
triple1
Bob is big.
("Bob" "is" "big" "+")
triple7
Bob is green.
("Bob" "is" "green" "+")
triple6
Bob is rough.
("Bob" "is" "rough" "+")
triple5
Bob is round.
("Bob" "is" "round" "+")
triple4
Bob is young.
("Bob" "is" "young" "+")
triple3
Charlie is cold.
("Charlie" "is" "cold" "+")
triple10
Charlie is rough.
("Charlie" "is" "rough" "+")
triple9
Charlie is young.
("Charlie" "is" "young" "+")
triple8
Fred is kind.
("Fred" "is" "kind" "+")
triple12
Fred is nice.
("Fred" "is" "nice" "+")
triple11
Bob is blue.
("Bob" "is" "blue" "+")
((triple4 triple6) -> (rule4 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
((triple5 ((triple4 triple6) -> (rule4 % int2))) -> (rule2 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
((((triple4 triple6) -> (rule4 % int2)) triple5) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
((((triple5 ((triple4 triple6) -> (rule4 % int3))) -> (rule2 % int2)) triple3 triple4) -> (rule3 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
((((((triple4 triple6) -> (rule4 % int4)) triple5) -> (rule1 % int3)) triple3 ((triple5 ((triple4 triple6) -> (rule4 % int4))) -> (rule2 % int2))) -> (rule6 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
((((((triple5 ((triple4 triple6) -> (rule4 % int4))) -> (rule2 % int3)) triple3 triple4) -> (rule3 % int2)) triple3 ((triple5 ((triple4 triple6) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule6 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
Bob is nice.
("Bob" "is" "nice" "+")
((triple5 ((((((triple4 triple6) -> (rule4 % int5)) triple5) -> (rule1 % int4)) triple3 ((triple5 ((triple4 triple6) -> (rule4 % int5))) -> (rule2 % int3))) -> (rule6 % int2)) ((triple4 triple6) -> (rule4 % int5))) -> (rule5 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is blue.
("Bob" "is" "blue" "+")
int5
((triple5 ((((((triple5 ((triple4 triple6) -> (rule4 % int5))) -> (rule2 % int4)) triple3 triple4) -> (rule3 % int3)) triple3 ((triple5 ((triple4 triple6) -> (rule4 % int5))) -> (rule2 % int4))) -> (rule6 % int2)) ((triple4 triple6) -> (rule4 % int5))) -> (rule5 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Bob is blue.
("Bob" "is" "blue" "+")
int5
Alan is blue and cold.
The big young man with the round body who seems to be having a rough time due to being green is named Bob.
Charlie is rough and cold, but he's young and will get over it.
Others enjoy Fred's company because he is so nice and kind.
If someone is blue and rough, they always see red in others.
Maybe someone is rough and blue with the cold.
Young, round, and cold people have a habit of looking pretty red.
Round green people usually feel blue.
Rough people will often be blue; They thrive on being kind and nice.
People who are cold and and red are also young and kind.