Alan is blue and cold. Being new to the job, Bob is nice and green. Even though he is round he is red and cold out in the wind. Charlie is a nice round guy, which leads to him being red. In the snow sits Fred, crying from being cold. A cold and young aged person will be big for sure. A young round person who is green is also red. I've noticed that someone with a round shape is also green. A nice and cold person can be counted on to be a young person at the same time. Being green, blue, and red all point to how young someone was. Red and round people will be cold even in the summer. Kind people who are blue with sadness and cold toward others are surprisingly red.
Alan is cold.
("Alan" "is" "cold" "+")
Alan is blue.
("Alan" "is" "blue" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Fred is cold.
("Fred" "is" "cold" "+")
If someone is young and cold then they are big.
((("someone" "is" "young" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "big" "+"))
If someone is young and round and green then they are red.
((("someone" "is" "young" "+") ("someone" "is" "round" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "red" "+"))
If someone is round then they are green.
((("someone" "is" "round" "+")) -> ("someone" "is" "green" "+"))
If someone is nice and cold then they are young.
((("someone" "is" "nice" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
If someone is green and blue and red then they are young.
((("someone" "is" "green" "+") ("someone" "is" "blue" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "young" "+"))
If someone is red and round then they are cold.
((("someone" "is" "red" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "cold" "+"))
If someone is cold and kind and blue then they are red.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
Bob is green.
True
1
proof
[(triple6 OR ((triple3) -> rule3))]
("Bob" "is" "green" "+")
triple6
((triple3) -> (rule3 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Alan is not blue.
False
1
inv-proof
[(triple2)]
("Alan" "is" "blue" "-")
triple2
Charlie is cold.
True
3
proof
[(((triple9 triple8) -> rule6))]
("Charlie" "is" "cold" "+")
((triple9 triple8) -> (rule6 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Bob is not young.
False
3
inv-proof
[(((triple5 triple7) -> rule4) OR ((triple5 ((triple4 triple3) -> rule6)) -> rule4))]
("Bob" "is" "young" "-")
((triple5 triple7) -> (rule4 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
((triple5 ((triple4 triple3) -> (rule6 % int2))) -> (rule4 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is big.
True
5
proof
[(((((triple5 triple7) -> rule4) triple7) -> rule1) OR ((((triple5 triple7) -> rule4) ((triple4 triple3) -> rule6)) -> rule1) OR ((((triple5 ((triple4 triple3) -> rule6)) -> rule4) triple7) -> rule1) OR ((((triple5 ((triple4 triple3) -> rule6)) -> rule4) ((triple4 triple3) -> rule6)) -> rule1))]
("Bob" "is" "big" "+")
((((triple5 triple7) -> (rule4 % int2)) triple7) -> (rule1 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
((((triple5 triple7) -> (rule4 % int3)) ((triple4 triple3) -> (rule6 % int2))) -> (rule1 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
((((triple5 ((triple4 triple3) -> (rule6 % int3))) -> (rule4 % int2)) triple7) -> (rule1 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
((((triple5 ((triple4 triple3) -> (rule6 % int3))) -> (rule4 % int2)) ((triple4 triple3) -> (rule6 % int3))) -> (rule1 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is not big.
False
5
inv-proof
[(((((triple5 triple7) -> rule4) triple7) -> rule1) OR ((((triple5 triple7) -> rule4) ((triple4 triple3) -> rule6)) -> rule1) OR ((((triple5 ((triple4 triple3) -> rule6)) -> rule4) triple7) -> rule1) OR ((((triple5 ((triple4 triple3) -> rule6)) -> rule4) ((triple4 triple3) -> rule6)) -> rule1))]
("Bob" "is" "big" "-")
((((triple5 triple7) -> (rule4 % int2)) triple7) -> (rule1 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
((((triple5 triple7) -> (rule4 % int3)) ((triple4 triple3) -> (rule6 % int2))) -> (rule1 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
((((triple5 ((triple4 triple3) -> (rule6 % int3))) -> (rule4 % int2)) triple7) -> (rule1 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
((((triple5 ((triple4 triple3) -> (rule6 % int3))) -> (rule4 % int2)) ((triple4 triple3) -> (rule6 % int3))) -> (rule1 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Charlie is big.
True
9
proof
[(((((triple10 ((triple9 triple8) -> rule6)) -> rule4) ((triple9 triple8) -> rule6)) -> rule1))]
("Charlie" "is" "big" "+")
((((triple10 ((triple9 triple8) -> (rule6 % int3))) -> (rule4 % int2)) ((triple9 triple8) -> (rule6 % int3))) -> (rule1 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is not big.
False
9
inv-proof
[(((((triple10 ((triple9 triple8) -> rule6)) -> rule4) ((triple9 triple8) -> rule6)) -> rule1))]
("Charlie" "is" "big" "-")
((((triple10 ((triple9 triple8) -> (rule6 % int3))) -> (rule4 % int2)) ((triple9 triple8) -> (rule6 % int3))) -> (rule1 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Fred is not red.
Unknown
inv-rconc
[@1: Fred is red.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fred" "is" "red" "-")
Alan is big.
Unknown
rconc
[@3: Alan is big.[CWA. Example of deepest failure = (rule1 <- rule5 <- rule3 <- FAIL)]]
("Alan" "is" "big" "+")
Fred is not big.
Unknown
inv-rconc
[@2: Fred is big.[CWA. Example of deepest failure = (rule1 <- rule4 <- FAIL)]]
("Fred" "is" "big" "-")
Fred is young.
Unknown
rconc
[@1: Fred is young.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Fred" "is" "young" "+")
Bob is not kind.
Unknown
inv-random
[@0: Bob is kind.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "kind" "-")
Charlie is blue.
Unknown
random
[@0: Charlie is blue.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "blue" "+")
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: Alan is blue.[(triple2)] Alan is cold.[(triple1)] Bob is cold.[(triple7 OR ((triple4 triple3) -> rule6))] Bob is green.[(triple6 OR ((triple3) -> rule3))] Bob is nice.[(triple5)] Bob is red.[(triple4 OR ((((triple5 triple7) -> rule4) triple3 triple6) -> rule2) OR ((((triple5 triple7) -> rule4) triple3 ((triple3) -> rule3)) -> rule2))] Bob is round.[(triple3)] Charlie is nice.[(triple10)] Charlie is red.[(triple9)] Charlie is round.[(triple8)] Fred is cold.[(triple11)] @1: Bob is young.[(((triple5 triple7) -> rule4) OR ((triple5 ((triple4 triple3) -> rule6)) -> rule4))] Charlie is cold.[(((triple9 triple8) -> rule6))] Charlie is green.[(((triple8) -> rule3))] @2: Bob is big.[(((((triple5 triple7) -> rule4) triple7) -> rule1) OR ((((triple5 triple7) -> rule4) ((triple4 triple3) -> rule6)) -> rule1) OR ((((triple5 ((triple4 triple3) -> rule6)) -> rule4) triple7) -> rule1) OR ((((triple5 ((triple4 triple3) -> rule6)) -> rule4) ((triple4 triple3) -> rule6)) -> rule1))] Charlie is young.[(((triple10 ((triple9 triple8) -> rule6)) -> rule4))] @3: Charlie is big.[(((((triple10 ((triple9 triple8) -> rule6)) -> rule4) ((triple9 triple8) -> rule6)) -> rule1))]
Alan is blue.
("Alan" "is" "blue" "+")
triple2
Alan is cold.
("Alan" "is" "cold" "+")
triple1
Bob is cold.
("Bob" "is" "cold" "+")
triple7
((triple4 triple3) -> (rule6 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
triple6
((triple3) -> (rule3 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
triple5
Bob is red.
("Bob" "is" "red" "+")
triple4
((((triple5 triple7) -> (rule4 % int2)) triple3 triple6) -> (rule2 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
((((triple5 triple7) -> (rule4 % int3)) triple3 ((triple3) -> (rule3 % int2))) -> (rule2 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
triple3
Charlie is nice.
("Charlie" "is" "nice" "+")
triple10
Charlie is red.
("Charlie" "is" "red" "+")
triple9
Charlie is round.
("Charlie" "is" "round" "+")
triple8
Fred is cold.
("Fred" "is" "cold" "+")
triple11
Bob is young.
("Bob" "is" "young" "+")
((triple5 triple7) -> (rule4 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
((triple5 ((triple4 triple3) -> (rule6 % int2))) -> (rule4 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
((triple9 triple8) -> (rule6 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
((triple8) -> (rule3 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
((((triple5 triple7) -> (rule4 % int2)) triple7) -> (rule1 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
((((triple5 triple7) -> (rule4 % int3)) ((triple4 triple3) -> (rule6 % int2))) -> (rule1 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
((((triple5 ((triple4 triple3) -> (rule6 % int3))) -> (rule4 % int2)) triple7) -> (rule1 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
((((triple5 ((triple4 triple3) -> (rule6 % int3))) -> (rule4 % int2)) ((triple4 triple3) -> (rule6 % int3))) -> (rule1 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
((triple10 ((triple9 triple8) -> (rule6 % int2))) -> (rule4 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
((((triple10 ((triple9 triple8) -> (rule6 % int3))) -> (rule4 % int2)) ((triple9 triple8) -> (rule6 % int3))) -> (rule1 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Alan is blue and cold.
Being new to the job, Bob is nice and green; Even though he is round he is red and cold out in the wind.
Charlie is a nice round guy, which leads to him being red.
In the snow sits Fred, crying from being cold.
A cold and young aged person will be big for sure.
A young round person who is green is also red.
I've noticed that someone with a round shape is also green.
A nice and cold person can be counted on to be a young person at the same time.
Being green, blue, and red all point to how young someone was.
Red and round people will be cold even in the summer.
Kind people who are blue with sadness and cold toward others are surprisingly red.