Alan is rough and red, but he is still young; he is still blue with youth. Even though he's a big dude, Charlie is cold. Although Fred is seen as nice and round, his days of playing football have made him quite rough. Harry is so young and darling he is kind to all the old people on the block. A cold person with a round figure who is kind to others is nice as well. People who are red and round are usually assumed to be green. Big people who are round in stature and also feel rough are often cold to other people. A human that's round, red and kind will be also be a green human. Blue, red, young people are always going to be kind people, too. Kind people, blue with sadness, and red with the first blushes of love are also found to be green with envy. If somebody has the characteristics of being blue, rough and green, they are also going to be cold.
Alan is young.
("Alan" "is" "young" "+")
Alan is rough.
("Alan" "is" "rough" "+")
Alan is red.
("Alan" "is" "red" "+")
Alan is blue.
("Alan" "is" "blue" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Fred is round.
("Fred" "is" "round" "+")
Fred is rough.
("Fred" "is" "rough" "+")
Fred is nice.
("Fred" "is" "nice" "+")
Harry is young.
("Harry" "is" "young" "+")
Harry is kind.
("Harry" "is" "kind" "+")
If someone is kind and cold and round then they are nice.
((("someone" "is" "kind" "+") ("someone" "is" "cold" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
If someone is red and round then they are green.
((("someone" "is" "red" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "green" "+"))
If someone is big and rough and round then they are cold.
((("someone" "is" "big" "+") ("someone" "is" "rough" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "cold" "+"))
If someone is red and round and kind then they are green.
((("someone" "is" "red" "+") ("someone" "is" "round" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "green" "+"))
If someone is blue and red and young then they are kind.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
If someone is blue and red and kind then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "green" "+"))
If someone is blue and rough and green then they are cold.
((("someone" "is" "blue" "+") ("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "cold" "+"))
Alan is blue.
True
1
proof
[(triple4)]
("Alan" "is" "blue" "+")
triple4
Alan is not red.
False
1
inv-proof
[(triple3)]
("Alan" "is" "red" "-")
triple3
Alan is kind.
True
4
proof
[(((triple4 triple3 triple1) -> rule5))]
("Alan" "is" "kind" "+")
((triple4 triple3 triple1) -> (rule5 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is not kind.
False
4
inv-proof
[(((triple4 triple3 triple1) -> rule5))]
("Alan" "is" "kind" "-")
((triple4 triple3 triple1) -> (rule5 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is green.
True
7
proof
[(((triple4 triple3 ((triple4 triple3 triple1) -> rule5)) -> rule6))]
("Alan" "is" "green" "+")
((triple4 triple3 ((triple4 triple3 triple1) -> (rule5 % int2))) -> (rule6 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
int2
Alan is not green.
False
7
inv-proof
[(((triple4 triple3 ((triple4 triple3 triple1) -> rule5)) -> rule6))]
("Alan" "is" "green" "-")
((triple4 triple3 ((triple4 triple3 triple1) -> (rule5 % int2))) -> (rule6 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
int2
Alan is cold.
True
10
proof
[(((triple4 triple2 ((triple4 triple3 ((triple4 triple3 triple1) -> rule5)) -> rule6)) -> rule7))]
("Alan" "is" "cold" "+")
((triple4 triple2 ((triple4 triple3 ((triple4 triple3 triple1) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
int2
Alan is kind.
("Alan" "is" "kind" "+")
int3
Alan is not cold.
False
10
inv-proof
[(((triple4 triple2 ((triple4 triple3 ((triple4 triple3 triple1) -> rule5)) -> rule6)) -> rule7))]
("Alan" "is" "cold" "-")
((triple4 triple2 ((triple4 triple3 ((triple4 triple3 triple1) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
int2
Alan is kind.
("Alan" "is" "kind" "+")
int3
Fred is not kind.
Unknown
inv-rconc
[@1: Fred is kind.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Fred" "is" "kind" "-")
Harry is cold.
Unknown
rconc
[@1: Harry is cold.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "cold" "+")
Harry is not nice.
Unknown
inv-rconc
[@1: Harry is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "nice" "-")
Charlie is nice.
Unknown
rconc
[@1: Charlie is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "nice" "+")
Harry is not blue.
Unknown
inv-random
[@0: Harry is blue.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "blue" "-")
Alan is big.
Unknown
random
[@0: Alan is big.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "big" "+")
Harry is not round.
Unknown
inv-random
[@0: Harry is round.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "round" "-")
Alan is round.
Unknown
random
[@0: Alan is round.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "round" "+")
@0: Alan is blue.[(triple4)] Alan is red.[(triple3)] Alan is rough.[(triple2)] Alan is young.[(triple1)] Charlie is big.[(triple6)] Charlie is cold.[(triple5)] Fred is nice.[(triple9)] Fred is rough.[(triple8)] Fred is round.[(triple7)] Harry is kind.[(triple11)] Harry is young.[(triple10)] @1: Alan is kind.[(((triple4 triple3 triple1) -> rule5))] @2: Alan is green.[(((triple4 triple3 ((triple4 triple3 triple1) -> rule5)) -> rule6))] @3: Alan is cold.[(((triple4 triple2 ((triple4 triple3 ((triple4 triple3 triple1) -> rule5)) -> rule6)) -> rule7))]
Alan is blue.
("Alan" "is" "blue" "+")
triple4
Alan is red.
("Alan" "is" "red" "+")
triple3
Alan is rough.
("Alan" "is" "rough" "+")
triple2
Alan is young.
("Alan" "is" "young" "+")
triple1
Charlie is big.
("Charlie" "is" "big" "+")
triple6
Charlie is cold.
("Charlie" "is" "cold" "+")
triple5
Fred is nice.
("Fred" "is" "nice" "+")
triple9
Fred is rough.
("Fred" "is" "rough" "+")
triple8
Fred is round.
("Fred" "is" "round" "+")
triple7
Harry is kind.
("Harry" "is" "kind" "+")
triple11
Harry is young.
("Harry" "is" "young" "+")
triple10
Alan is kind.
("Alan" "is" "kind" "+")
((triple4 triple3 triple1) -> (rule5 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
((triple4 triple3 ((triple4 triple3 triple1) -> (rule5 % int2))) -> (rule6 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
((triple4 triple2 ((triple4 triple3 ((triple4 triple3 triple1) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
int2
Alan is kind.
("Alan" "is" "kind" "+")
int3
Alan is rough and red, but he is still young; he is still blue with youth.
Even though he's a big dude, Charlie is cold.
Although Fred is seen as nice and round, his days of playing football have made him quite rough.
Harry is so young and darling he is kind to all the old people on the block.
A cold person with a round figure who is kind to others is nice as well.
People who are red and round are usually assumed to be green.
Big people who are round in stature and also feel rough are often cold to other people.
A human that's round, red and kind will be also be a green human.
Blue, red, young people are always going to be kind people, too.
Kind people, blue with sadness, and red with the first blushes of love are also found to be green with envy.
If somebody has the characteristics of being blue, rough and green, they are also going to be cold.