Even though Charlie is young, he is still very round and still very red. Fred is generally considered to be a round guy. People consider him kind, although a bit on the cold side. He's also both green and blue. Although Harry is seen as nice and round, his days of playing football have made him quite rough. If you meet a kind green person with a round shape they will also be young. People,though rough and red,tend to be cold too. I've noticed that red, cold people who are kind have the trait of rough skin. If you meet someone who is young and cold, then will most definitely be red. A nice person who is downhearted, blue, and green with envy is rough. Everyone knows that if you are cold, kind, and big, it goes without saying that you are round.
Charlie is young.
("Charlie" "is" "young" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Fred is round.
("Fred" "is" "round" "+")
Fred is kind.
("Fred" "is" "kind" "+")
Fred is green.
("Fred" "is" "green" "+")
Fred is cold.
("Fred" "is" "cold" "+")
Fred is blue.
("Fred" "is" "blue" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is nice.
("Harry" "is" "nice" "+")
If someone is kind and green and round then they are young.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "young" "+"))
If someone is rough and red then they are cold.
((("someone" "is" "rough" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
If someone is kind and cold and red then they are rough.
((("someone" "is" "kind" "+") ("someone" "is" "cold" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "rough" "+"))
If someone is young and cold then they are red.
((("someone" "is" "young" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
If someone is nice and blue and green then they are rough.
((("someone" "is" "nice" "+") ("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "rough" "+"))
If someone is cold and kind and big then they are round.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
Charlie is young.
True
1
proof
[(triple1)]
("Charlie" "is" "young" "+")
triple1
Fred is not blue.
False
1
inv-proof
[(triple8)]
("Fred" "is" "blue" "-")
triple8
Fred is young.
True
4
proof
[(((triple5 triple6 triple4) -> rule1))]
("Fred" "is" "young" "+")
((triple5 triple6 triple4) -> (rule1 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is not young.
False
4
inv-proof
[(((triple5 triple6 triple4) -> rule1))]
("Fred" "is" "young" "-")
((triple5 triple6 triple4) -> (rule1 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is red.
True
6
proof
[(((((triple5 triple6 triple4) -> rule1) triple7) -> rule4))]
("Fred" "is" "red" "+")
((((triple5 triple6 triple4) -> (rule1 % int2)) triple7) -> (rule4 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
int2
Fred is not red.
False
6
inv-proof
[(((((triple5 triple6 triple4) -> rule1) triple7) -> rule4))]
("Fred" "is" "red" "-")
((((triple5 triple6 triple4) -> (rule1 % int2)) triple7) -> (rule4 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
int2
Fred is rough.
True
9
proof
[(((triple5 triple7 ((((triple5 triple6 triple4) -> rule1) triple7) -> rule4)) -> rule3))]
("Fred" "is" "rough" "+")
((triple5 triple7 ((((triple5 triple6 triple4) -> (rule1 % int3)) triple7) -> (rule4 % int2))) -> (rule3 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is young.
("Fred" "is" "young" "+")
int3
Fred is not rough.
False
9
inv-proof
[(((triple5 triple7 ((((triple5 triple6 triple4) -> rule1) triple7) -> rule4)) -> rule3))]
("Fred" "is" "rough" "-")
((triple5 triple7 ((((triple5 triple6 triple4) -> (rule1 % int3)) triple7) -> (rule4 % int2))) -> (rule3 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is young.
("Fred" "is" "young" "+")
int3
Harry is not cold.
Unknown
inv-rconc
[@2: Harry is cold.[CWA. Example of deepest failure = (rule2 <- rule4 <- FAIL)]]
("Harry" "is" "cold" "-")
Dave is red.
Unknown
rconc
[@2: Dave is red.[CWA. Example of deepest failure = (rule4 <- rule1 <- FAIL)]]
("Dave" "is" "red" "+")
Charlie is not rough.
Unknown
inv-rconc
[@1: Charlie is rough.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Charlie" "is" "rough" "-")
Charlie is cold.
Unknown
rconc
[@2: Charlie is cold.[CWA. Example of deepest failure = (rule2 <- rule3 <- FAIL)]]
("Charlie" "is" "cold" "+")
Charlie is not blue.
Unknown
inv-random
[@0: Charlie is blue.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "blue" "-")
Fred is big.
Unknown
random
[@0: Fred is big.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "big" "+")
Charlie is not green.
Unknown
inv-random
[@0: Charlie is green.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "green" "-")
Dave is blue.
Unknown
random
[@0: Dave is blue.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "blue" "+")
@0: Charlie is red.[(triple3)] Charlie is round.[(triple2)] Charlie is young.[(triple1)] Fred is blue.[(triple8)] Fred is cold.[(triple7)] Fred is green.[(triple6)] Fred is kind.[(triple5)] Fred is round.[(triple4)] Harry is nice.[(triple11)] Harry is rough.[(triple10)] Harry is round.[(triple9)] @1: Fred is young.[(((triple5 triple6 triple4) -> rule1))] @2: Fred is red.[(((((triple5 triple6 triple4) -> rule1) triple7) -> rule4))] @3: Fred is rough.[(((triple5 triple7 ((((triple5 triple6 triple4) -> rule1) triple7) -> rule4)) -> rule3))]
Charlie is red.
("Charlie" "is" "red" "+")
triple3
Charlie is round.
("Charlie" "is" "round" "+")
triple2
Charlie is young.
("Charlie" "is" "young" "+")
triple1
Fred is blue.
("Fred" "is" "blue" "+")
triple8
Fred is cold.
("Fred" "is" "cold" "+")
triple7
Fred is green.
("Fred" "is" "green" "+")
triple6
Fred is kind.
("Fred" "is" "kind" "+")
triple5
Fred is round.
("Fred" "is" "round" "+")
triple4
Harry is nice.
("Harry" "is" "nice" "+")
triple11
Harry is rough.
("Harry" "is" "rough" "+")
triple10
Harry is round.
("Harry" "is" "round" "+")
triple9
Fred is young.
("Fred" "is" "young" "+")
((triple5 triple6 triple4) -> (rule1 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
((((triple5 triple6 triple4) -> (rule1 % int2)) triple7) -> (rule4 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
int2
Fred is rough.
("Fred" "is" "rough" "+")
((triple5 triple7 ((((triple5 triple6 triple4) -> (rule1 % int3)) triple7) -> (rule4 % int2))) -> (rule3 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is young.
("Fred" "is" "young" "+")
int3
Even though Charlie is young, he is still very round and still very red.
Fred is generally considered to be a round guy; People consider him kind, although a bit on the cold side; He's also both green and blue.
Although Harry is seen as nice and round, his days of playing football have made him quite rough.
If you meet a kind green person with a round shape they will also be young.
People,though rough and red,tend to be cold too.
I've noticed that red, cold people who are kind have the trait of rough skin.
If you meet someone who is young and cold, then will most definitely be red.
A nice person who is downhearted, blue, and green with envy is rough.
Everyone knows that if you are cold, kind, and big, it goes without saying that you are round.