Alan is blue from ink he spilled on himself while being kind and helping some children paint. That Bob is as round and red as a cherry, and twice as kind. Although Eric is seen as nice and round, his days of playing football have made him quite rough. Most people see Fred as round, albeit nice and big at the same time. People who are nice but a rough around the edges and turn red in the fun feel sad and blue. I've noticed that kind people are also big. Young people who rough around in the cold are known to be very red. A quite nice person will certainly be red. People that are green tend to be young. Nice, kind people who look rough almost always feel cold. A blue, rough and round person will also be a big person.
Alan is kind.
("Alan" "is" "kind" "+")
Alan is blue.
("Alan" "is" "blue" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Eric is round.
("Eric" "is" "round" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Eric is nice.
("Eric" "is" "nice" "+")
Fred is round.
("Fred" "is" "round" "+")
Fred is nice.
("Fred" "is" "nice" "+")
Fred is big.
("Fred" "is" "big" "+")
If someone is rough and nice and red then they are blue.
((("someone" "is" "rough" "+") ("someone" "is" "nice" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
If someone is kind then they are big.
((("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
If someone is rough and young and cold then they are red.
((("someone" "is" "rough" "+") ("someone" "is" "young" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
If someone is nice then they are red.
((("someone" "is" "nice" "+")) -> ("someone" "is" "red" "+"))
If someone is green then they are young.
((("someone" "is" "green" "+")) -> ("someone" "is" "young" "+"))
If someone is nice and kind and rough then they are cold.
((("someone" "is" "nice" "+") ("someone" "is" "kind" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "cold" "+"))
If someone is blue and rough and round then they are big.
((("someone" "is" "blue" "+") ("someone" "is" "rough" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "big" "+"))
Bob is round.
True
1
proof
[(triple3)]
("Bob" "is" "round" "+")
triple3
Alan is not blue.
False
1
inv-proof
[(triple2)]
("Alan" "is" "blue" "-")
triple2
Alan is big.
True
2
proof
[(((triple1) -> rule2))]
("Alan" "is" "big" "+")
((triple1) -> (rule2 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Eric is not red.
False
2
inv-proof
[(((triple8) -> rule4))]
("Eric" "is" "red" "-")
((triple8) -> (rule4 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is blue.
True
5
proof
[(((triple7 triple8 ((triple8) -> rule4)) -> rule1))]
("Eric" "is" "blue" "+")
((triple7 triple8 ((triple8) -> (rule4 % int2))) -> (rule1 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
Eric is not blue.
False
5
inv-proof
[(((triple7 triple8 ((triple8) -> rule4)) -> rule1))]
("Eric" "is" "blue" "-")
((triple7 triple8 ((triple8) -> (rule4 % int2))) -> (rule1 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
Eric is big.
True
8
proof
[(((((triple7 triple8 ((triple8) -> rule4)) -> rule1) triple7 triple6) -> rule7))]
("Eric" "is" "big" "+")
((((triple7 triple8 ((triple8) -> (rule4 % int3))) -> (rule1 % int2)) triple7 triple6) -> (rule7 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is red.
("Eric" "is" "red" "+")
int3
Eric is not big.
False
8
inv-proof
[(((((triple7 triple8 ((triple8) -> rule4)) -> rule1) triple7 triple6) -> rule7))]
("Eric" "is" "big" "-")
((((triple7 triple8 ((triple8) -> (rule4 % int3))) -> (rule1 % int2)) triple7 triple6) -> (rule7 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is red.
("Eric" "is" "red" "+")
int3
Bob is not young.
Unknown
inv-rconc
[@1: Bob is young.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Bob" "is" "young" "-")
Fred is blue.
Unknown
rconc
[@1: Fred is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fred" "is" "blue" "+")
Eric is not young.
Unknown
inv-rconc
[@1: Eric is young.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Eric" "is" "young" "-")
Alan is cold.
Unknown
rconc
[@1: Alan is cold.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Alan" "is" "cold" "+")
Eric is not green.
Unknown
inv-random
[@0: Eric is green.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "green" "-")
Fred is kind.
Unknown
random
[@0: Fred is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "kind" "+")
Alan is not rough.
Unknown
inv-random
[@0: Alan is rough.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "rough" "-")
Fred is green.
Unknown
random
[@0: Fred is green.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "green" "+")
@0: Alan is blue.[(triple2)] Alan is kind.[(triple1)] Bob is kind.[(triple5)] Bob is red.[(triple4)] Bob is round.[(triple3)] Eric is nice.[(triple8)] Eric is rough.[(triple7)] Eric is round.[(triple6)] Fred is big.[(triple11)] Fred is nice.[(triple10)] Fred is round.[(triple9)] @1: Alan is big.[(((triple1) -> rule2))] Bob is big.[(((triple5) -> rule2))] Eric is red.[(((triple8) -> rule4))] Fred is red.[(((triple10) -> rule4))] @2: Eric is blue.[(((triple7 triple8 ((triple8) -> rule4)) -> rule1))] @3: Eric is big.[(((((triple7 triple8 ((triple8) -> rule4)) -> rule1) triple7 triple6) -> rule7))]
Alan is blue.
("Alan" "is" "blue" "+")
triple2
Alan is kind.
("Alan" "is" "kind" "+")
triple1
Bob is kind.
("Bob" "is" "kind" "+")
triple5
Bob is red.
("Bob" "is" "red" "+")
triple4
Bob is round.
("Bob" "is" "round" "+")
triple3
Eric is nice.
("Eric" "is" "nice" "+")
triple8
Eric is rough.
("Eric" "is" "rough" "+")
triple7
Eric is round.
("Eric" "is" "round" "+")
triple6
Fred is big.
("Fred" "is" "big" "+")
triple11
Fred is nice.
("Fred" "is" "nice" "+")
triple10
Fred is round.
("Fred" "is" "round" "+")
triple9
Alan is big.
("Alan" "is" "big" "+")
((triple1) -> (rule2 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
((triple5) -> (rule2 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
((triple8) -> (rule4 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
((triple10) -> (rule4 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
((triple7 triple8 ((triple8) -> (rule4 % int2))) -> (rule1 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
Eric is big.
("Eric" "is" "big" "+")
((((triple7 triple8 ((triple8) -> (rule4 % int3))) -> (rule1 % int2)) triple7 triple6) -> (rule7 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is red.
("Eric" "is" "red" "+")
int3
Alan is blue from ink he spilled on himself while being kind and helping some children paint.
That Bob is as round and red as a cherry, and twice as kind.
Although Eric is seen as nice and round, his days of playing football have made him quite rough.
Most people see Fred as round, albeit nice and big at the same time.
People who are nice but a rough around the edges and turn red in the fun feel sad and blue.
I've noticed that kind people are also big.
Young people who rough around in the cold are known to be very red.
A quite nice person will certainly be red.
People that are green tend to be young.
Nice, kind people who look rough almost always feel cold.
A blue, rough and round person will also be a big person.