Alan always goes out of his way to show that he is kind to people. Charlie, that young round kid, is kind whenever he's blue. Big Fred, the most blue guy I know while also being cold. When a young person has a round shape and feels blue, they will be green as well. A green and blue colored person who is young will certainly be big. A male or female with rough, kind and round traits will surely have a nice quality, as well. A red colored person who is kind and feels cold is usually considered nice. A big person who looks blue is also going to look young. A young aged blue person will certainly be nice. If someone is young at heart and has big toes as well as being nice to others then you'll see that they are also kind to children.
Alan is kind.
("Alan" "is" "kind" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Fred is cold.
("Fred" "is" "cold" "+")
Fred is blue.
("Fred" "is" "blue" "+")
Fred is big.
("Fred" "is" "big" "+")
If someone is blue and round and young then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "round" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "green" "+"))
If someone is green and young and blue then they are big.
((("someone" "is" "green" "+") ("someone" "is" "young" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "big" "+"))
If someone is rough and kind and round then they are nice.
((("someone" "is" "rough" "+") ("someone" "is" "kind" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
If someone is red and kind and cold then they are nice.
((("someone" "is" "red" "+") ("someone" "is" "kind" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "nice" "+"))
If someone is blue and big then they are young.
((("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
If someone is young and blue then they are nice.
((("someone" "is" "young" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "nice" "+"))
If someone is young and big and nice then they are kind.
((("someone" "is" "young" "+") ("someone" "is" "big" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "kind" "+"))
Fred is blue.
True
1
proof
[(triple7)]
("Fred" "is" "blue" "+")
triple7
Fred is not cold.
False
1
inv-proof
[(triple6)]
("Fred" "is" "cold" "-")
triple6
Charlie is nice.
True
3
proof
[(((triple2 triple5) -> rule6))]
("Charlie" "is" "nice" "+")
((triple2 triple5) -> (rule6 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is not nice.
False
3
inv-proof
[(((triple2 triple5) -> rule6))]
("Charlie" "is" "nice" "-")
((triple2 triple5) -> (rule6 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is big.
True
7
proof
[(((((triple5 triple3 triple2) -> rule1) triple2 triple5) -> rule2))]
("Charlie" "is" "big" "+")
((((triple5 triple3 triple2) -> (rule1 % int2)) triple2 triple5) -> (rule2 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Fred is not nice.
False
5
inv-proof
[(((((triple7 triple8) -> rule5) triple7) -> rule6))]
("Fred" "is" "nice" "-")
((((triple7 triple8) -> (rule5 % int2)) triple7) -> (rule6 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
int2
Fred is kind.
True
10
proof
[(((((triple7 triple8) -> rule5) triple8 ((((triple7 triple8) -> rule5) triple7) -> rule6)) -> rule7))]
("Fred" "is" "kind" "+")
((((triple7 triple8) -> (rule5 % int3)) triple8 ((((triple7 triple8) -> (rule5 % int3)) triple7) -> (rule6 % int2))) -> (rule7 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Fred is young.
("Fred" "is" "young" "+")
int3
Fred is not kind.
False
10
inv-proof
[(((((triple7 triple8) -> rule5) triple8 ((((triple7 triple8) -> rule5) triple7) -> rule6)) -> rule7))]
("Fred" "is" "kind" "-")
((((triple7 triple8) -> (rule5 % int3)) triple8 ((((triple7 triple8) -> (rule5 % int3)) triple7) -> (rule6 % int2))) -> (rule7 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Fred is young.
("Fred" "is" "young" "+")
int3
Harry is not nice.
Unknown
inv-rconc
[@1: Harry is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "nice" "-")
Alan is big.
Unknown
rconc
[@1: Alan is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Alan" "is" "big" "+")
Alan is not green.
Unknown
inv-rconc
[@1: Alan is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Alan" "is" "green" "-")
Harry is green.
Unknown
rconc
[@1: Harry is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "green" "+")
Harry is not blue.
Unknown
inv-random
[@0: Harry is blue.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "blue" "-")
Charlie is cold.
Unknown
random
[@0: Charlie is cold.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "cold" "+")
Charlie is not red.
Unknown
inv-random
[@0: Charlie is red.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "red" "-")
Alan is cold.
Unknown
random
[@0: Alan is cold.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "cold" "+")
@0: Alan is kind.[(triple1)] Charlie is blue.[(triple5)] Charlie is kind.[(triple4 OR ((triple2 ((((triple5 triple3 triple2) -> rule1) triple2 triple5) -> rule2) ((triple2 triple5) -> rule6)) -> rule7))] Charlie is round.[(triple3)] Charlie is young.[(triple2)] Fred is big.[(triple8)] Fred is blue.[(triple7)] Fred is cold.[(triple6)] @1: Charlie is green.[(((triple5 triple3 triple2) -> rule1))] Charlie is nice.[(((triple2 triple5) -> rule6))] Fred is young.[(((triple7 triple8) -> rule5))] @2: Charlie is big.[(((((triple5 triple3 triple2) -> rule1) triple2 triple5) -> rule2))] Fred is nice.[(((((triple7 triple8) -> rule5) triple7) -> rule6))] @3: Fred is kind.[(((((triple7 triple8) -> rule5) triple8 ((((triple7 triple8) -> rule5) triple7) -> rule6)) -> rule7))]
Alan is kind.
("Alan" "is" "kind" "+")
triple1
Charlie is blue.
("Charlie" "is" "blue" "+")
triple5
Charlie is kind.
("Charlie" "is" "kind" "+")
triple4
((triple2 ((((triple5 triple3 triple2) -> (rule1 % int4)) triple2 triple5) -> (rule2 % int3)) ((triple2 triple5) -> (rule6 % int2))) -> (rule7 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
Charlie is round.
("Charlie" "is" "round" "+")
triple3
Charlie is young.
("Charlie" "is" "young" "+")
triple2
Fred is big.
("Fred" "is" "big" "+")
triple8
Fred is blue.
("Fred" "is" "blue" "+")
triple7
Fred is cold.
("Fred" "is" "cold" "+")
triple6
Charlie is green.
("Charlie" "is" "green" "+")
((triple5 triple3 triple2) -> (rule1 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
((triple2 triple5) -> (rule6 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
((triple7 triple8) -> (rule5 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
((((triple5 triple3 triple2) -> (rule1 % int2)) triple2 triple5) -> (rule2 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
((((triple7 triple8) -> (rule5 % int2)) triple7) -> (rule6 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
int2
Fred is kind.
("Fred" "is" "kind" "+")
((((triple7 triple8) -> (rule5 % int3)) triple8 ((((triple7 triple8) -> (rule5 % int3)) triple7) -> (rule6 % int2))) -> (rule7 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Fred is young.
("Fred" "is" "young" "+")
int3
Alan always goes out of his way to show that he is kind to people.
Charlie, that young round kid, is kind whenever he's blue.
Big Fred, the most blue guy I know while also being cold.
When a young person has a round shape and feels blue, they will be green as well.
A green and blue colored person who is young will certainly be big.
A male or female with rough, kind and round traits will surely have a nice quality, as well.
A red colored person who is kind and feels cold is usually considered nice.
A big person who looks blue is also going to look young.
A young aged blue person will certainly be nice.
If someone is young at heart and has big toes as well as being nice to others then you'll see that they are also kind to children.