Alan always goes out of his way to show that he is kind to people. My friend Charlie is very young. People say he is nice for having a round shape. Fred has rough, green skin and that makes him cold. He also feels blue for his big size. Even though Harry is young, he is still very round and still very red. Green and blue people have a habit of being cold, which makes them red too. A nice green person that tends to be rough will indeed be round too. A person fitting the description of rough, cold and red will also be a nice person. A big person who is kind and nice is usually red because their prone to blushing. Big,cold,kind people tend to be red in color to others.
Alan is kind.
("Alan" "is" "kind" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Fred is rough.
("Fred" "is" "rough" "+")
Fred is green.
("Fred" "is" "green" "+")
Fred is cold.
("Fred" "is" "cold" "+")
Fred is blue.
("Fred" "is" "blue" "+")
Fred is big.
("Fred" "is" "big" "+")
Harry is young.
("Harry" "is" "young" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is red.
("Harry" "is" "red" "+")
If someone is green and blue and cold then they are red.
((("someone" "is" "green" "+") ("someone" "is" "blue" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
If someone is green and nice and rough then they are round.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "round" "+"))
If someone is rough and cold and red then they are nice.
((("someone" "is" "rough" "+") ("someone" "is" "cold" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "nice" "+"))
If someone is kind and nice and big then they are red.
((("someone" "is" "kind" "+") ("someone" "is" "nice" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "red" "+"))
If someone is kind and big and cold then they are red.
((("someone" "is" "kind" "+") ("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
Harry is round.
True
1
proof
[(triple11)]
("Harry" "is" "round" "+")
triple11
Alan is not kind.
False
1
inv-proof
[(triple1)]
("Alan" "is" "kind" "-")
triple1
Fred is red.
True
4
proof
[(((triple6 triple8 triple7) -> rule1))]
("Fred" "is" "red" "+")
((triple6 triple8 triple7) -> (rule1 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is not red.
False
4
inv-proof
[(((triple6 triple8 triple7) -> rule1))]
("Fred" "is" "red" "-")
((triple6 triple8 triple7) -> (rule1 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is nice.
True
7
proof
[(((triple5 triple7 ((triple6 triple8 triple7) -> rule1)) -> rule3))]
("Fred" "is" "nice" "+")
((triple5 triple7 ((triple6 triple8 triple7) -> (rule1 % int2))) -> (rule3 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is not nice.
False
7
inv-proof
[(((triple5 triple7 ((triple6 triple8 triple7) -> rule1)) -> rule3))]
("Fred" "is" "nice" "-")
((triple5 triple7 ((triple6 triple8 triple7) -> (rule1 % int2))) -> (rule3 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is round.
True
10
proof
[(((triple6 ((triple5 triple7 ((triple6 triple8 triple7) -> rule1)) -> rule3) triple5) -> rule2))]
("Fred" "is" "round" "+")
((triple6 ((triple5 triple7 ((triple6 triple8 triple7) -> (rule1 % int3))) -> (rule3 % int2)) triple5) -> (rule2 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Fred is red.
("Fred" "is" "red" "+")
int3
Fred is not round.
False
10
inv-proof
[(((triple6 ((triple5 triple7 ((triple6 triple8 triple7) -> rule1)) -> rule3) triple5) -> rule2))]
("Fred" "is" "round" "-")
((triple6 ((triple5 triple7 ((triple6 triple8 triple7) -> (rule1 % int3))) -> (rule3 % int2)) triple5) -> (rule2 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Fred is red.
("Fred" "is" "red" "+")
int3
Charlie is not red.
Unknown
inv-rconc
[@1: Charlie is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "red" "-")
Alan is round.
Unknown
rconc
[@1: Alan is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Alan" "is" "round" "+")
Harry is not nice.
Unknown
inv-rconc
[@1: Harry is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "nice" "-")
Alan is nice.
Unknown
rconc
[@1: Alan is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Alan" "is" "nice" "+")
Alan is not blue.
Unknown
inv-random
[@0: Alan is blue.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "blue" "-")
Harry is green.
Unknown
random
[@0: Harry is green.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "green" "+")
Fred is not young.
Unknown
inv-random
[@0: Fred is young.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "young" "-")
Alan is rough.
Unknown
random
[@0: Alan is rough.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "rough" "+")
@0: Alan is kind.[(triple1)] Charlie is nice.[(triple4)] Charlie is round.[(triple3)] Charlie is young.[(triple2)] Fred is big.[(triple9)] Fred is blue.[(triple8)] Fred is cold.[(triple7)] Fred is green.[(triple6)] Fred is rough.[(triple5)] Harry is red.[(triple12)] Harry is round.[(triple11)] Harry is young.[(triple10)] @1: Fred is red.[(((triple6 triple8 triple7) -> rule1))] @2: Fred is nice.[(((triple5 triple7 ((triple6 triple8 triple7) -> rule1)) -> rule3))] @3: Fred is round.[(((triple6 ((triple5 triple7 ((triple6 triple8 triple7) -> rule1)) -> rule3) triple5) -> rule2))]
Alan is kind.
("Alan" "is" "kind" "+")
triple1
Charlie is nice.
("Charlie" "is" "nice" "+")
triple4
Charlie is round.
("Charlie" "is" "round" "+")
triple3
Charlie is young.
("Charlie" "is" "young" "+")
triple2
Fred is big.
("Fred" "is" "big" "+")
triple9
Fred is blue.
("Fred" "is" "blue" "+")
triple8
Fred is cold.
("Fred" "is" "cold" "+")
triple7
Fred is green.
("Fred" "is" "green" "+")
triple6
Fred is rough.
("Fred" "is" "rough" "+")
triple5
Harry is red.
("Harry" "is" "red" "+")
triple12
Harry is round.
("Harry" "is" "round" "+")
triple11
Harry is young.
("Harry" "is" "young" "+")
triple10
Fred is red.
("Fred" "is" "red" "+")
((triple6 triple8 triple7) -> (rule1 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
((triple5 triple7 ((triple6 triple8 triple7) -> (rule1 % int2))) -> (rule3 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is round.
("Fred" "is" "round" "+")
((triple6 ((triple5 triple7 ((triple6 triple8 triple7) -> (rule1 % int3))) -> (rule3 % int2)) triple5) -> (rule2 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Fred is red.
("Fred" "is" "red" "+")
int3
Alan always goes out of his way to show that he is kind to people.
My friend Charlie is very young; People say he is nice for having a round shape.
Fred has rough, green skin and that makes him cold; He also feels blue for his big size.
Even though Harry is young, he is still very round and still very red.
Green and blue people have a habit of being cold, which makes them red too.
A nice green person that tends to be rough will indeed be round too.
A person fitting the description of rough, cold and red will also be a nice person.
A big person who is kind and nice is usually red because their prone to blushing.
Big,cold,kind people tend to be red in color to others.