Alan is rough, but often feels blue. He is pretty young. Charlie is big and round with red rosy cheeks. He is young and kind. Upon meeting Dave, you'll notice he's green and kind. They always call him rough Fred. If you come across someone with rough skin and a big and round shape, you'll see that they are also a big green. Young, round, and cold people have a habit of looking pretty red. A nice and kind person who is big sized will be cold. If a big, red person with a round figure comes up to you, don't worry, they will be very nice. An individual who is big and nice is also green. Whenever someone is kind as well as round and cold, they will definitely be blue.
Alan is young.
("Alan" "is" "young" "+")
Alan is rough.
("Alan" "is" "rough" "+")
Alan is blue.
("Alan" "is" "blue" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is green.
("Dave" "is" "green" "+")
Fred is rough.
("Fred" "is" "rough" "+")
If someone is rough and round and big then they are green.
((("someone" "is" "rough" "+") ("someone" "is" "round" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "green" "+"))
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 nice and kind and big then they are cold.
((("someone" "is" "nice" "+") ("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "cold" "+"))
If someone is big and round and red then they are nice.
((("someone" "is" "big" "+") ("someone" "is" "round" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "nice" "+"))
If someone is big and nice then they are green.
((("someone" "is" "big" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "green" "+"))
If someone is kind and round and cold then they are blue.
((("someone" "is" "kind" "+") ("someone" "is" "round" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "blue" "+"))
Charlie is young.
True
1
proof
[(triple4)]
("Charlie" "is" "young" "+")
triple4
Alan is not blue.
False
1
inv-proof
[(triple3)]
("Alan" "is" "blue" "-")
triple3
Charlie is nice.
True
4
proof
[(((triple8 triple5 triple6) -> rule4))]
("Charlie" "is" "nice" "+")
((triple8 triple5 triple6) -> (rule4 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is not nice.
False
4
inv-proof
[(((triple8 triple5 triple6) -> rule4))]
("Charlie" "is" "nice" "-")
((triple8 triple5 triple6) -> (rule4 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is green.
True
6
proof
[(((triple8 ((triple8 triple5 triple6) -> rule4)) -> rule5))]
("Charlie" "is" "green" "+")
((triple8 ((triple8 triple5 triple6) -> (rule4 % int2))) -> (rule5 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is not green.
False
6
inv-proof
[(((triple8 ((triple8 triple5 triple6) -> rule4)) -> rule5))]
("Charlie" "is" "green" "-")
((triple8 ((triple8 triple5 triple6) -> (rule4 % int2))) -> (rule5 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is blue.
True
10
proof
[(((triple7 triple5 ((((triple8 triple5 triple6) -> rule4) triple7 triple8) -> rule3)) -> rule6))]
("Charlie" "is" "blue" "+")
((triple7 triple5 ((((triple8 triple5 triple6) -> (rule4 % int3)) triple7 triple8) -> (rule3 % int2))) -> (rule6 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is not blue.
False
10
inv-proof
[(((triple7 triple5 ((((triple8 triple5 triple6) -> rule4) triple7 triple8) -> rule3)) -> rule6))]
("Charlie" "is" "blue" "-")
((triple7 triple5 ((((triple8 triple5 triple6) -> (rule4 % int3)) triple7 triple8) -> (rule3 % int2))) -> (rule6 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Fred is not blue.
Unknown
inv-rconc
[@1: Fred is blue.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Fred" "is" "blue" "-")
Dave is blue.
Unknown
rconc
[@1: Dave is blue.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Dave" "is" "blue" "+")
Alan is not cold.
Unknown
inv-rconc
[@1: Alan is cold.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Alan" "is" "cold" "-")
Alan is red.
Unknown
rconc
[@1: Alan is red.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Alan" "is" "red" "+")
Dave is not young.
Unknown
inv-random
[@0: Dave is young.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "young" "-")
Dave is rough.
Unknown
random
[@0: Dave is rough.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "rough" "+")
Dave is not big.
Unknown
inv-random
[@0: Dave is big.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "big" "-")
Fred is young.
Unknown
random
[@0: Fred is young.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "young" "+")
@0: Alan is blue.[(triple3)] Alan is rough.[(triple2)] Alan is young.[(triple1)] Charlie is big.[(triple8)] Charlie is kind.[(triple7)] Charlie is red.[(triple6)] Charlie is round.[(triple5)] Charlie is young.[(triple4)] Dave is green.[(triple10)] Dave is kind.[(triple9)] Fred is rough.[(triple11)] @1: Charlie is nice.[(((triple8 triple5 triple6) -> rule4))] @2: Charlie is cold.[(((((triple8 triple5 triple6) -> rule4) triple7 triple8) -> rule3))] Charlie is green.[(((triple8 ((triple8 triple5 triple6) -> rule4)) -> rule5))] @3: Charlie is blue.[(((triple7 triple5 ((((triple8 triple5 triple6) -> rule4) triple7 triple8) -> rule3)) -> rule6))]
Alan is blue.
("Alan" "is" "blue" "+")
triple3
Alan is rough.
("Alan" "is" "rough" "+")
triple2
Alan is young.
("Alan" "is" "young" "+")
triple1
Charlie is big.
("Charlie" "is" "big" "+")
triple8
Charlie is kind.
("Charlie" "is" "kind" "+")
triple7
Charlie is red.
("Charlie" "is" "red" "+")
triple6
Charlie is round.
("Charlie" "is" "round" "+")
triple5
Charlie is young.
("Charlie" "is" "young" "+")
triple4
Dave is green.
("Dave" "is" "green" "+")
triple10
Dave is kind.
("Dave" "is" "kind" "+")
triple9
Fred is rough.
("Fred" "is" "rough" "+")
triple11
Charlie is nice.
("Charlie" "is" "nice" "+")
((triple8 triple5 triple6) -> (rule4 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
((((triple8 triple5 triple6) -> (rule4 % int2)) triple7 triple8) -> (rule3 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
((triple8 ((triple8 triple5 triple6) -> (rule4 % int2))) -> (rule5 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
((triple7 triple5 ((((triple8 triple5 triple6) -> (rule4 % int3)) triple7 triple8) -> (rule3 % int2))) -> (rule6 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Alan is rough, but often feels blue; He is pretty young.
Charlie is big and round with red rosy cheeks; He is young and kind.
Upon meeting Dave, you'll notice he's green and kind.
They always call him rough Fred.
If you come across someone with rough skin and a big and round shape, you'll see that they are also a big green.
Young, round, and cold people have a habit of looking pretty red.
A nice and kind person who is big sized will be cold.
If a big, red person with a round figure comes up to you, don't worry, they will be very nice.
An individual who is big and nice is also green.
Whenever someone is kind as well as round and cold, they will definitely be blue.