I knew Charlie was young, and rough, but he surprised me with how cold and blue he acted. Dave is so big, he is often blue, but always kind. Fred is big and dresses in blue. My friend Gary is very young. People say he is nice for having a round shape. Someone who is round in shape and green in color is usually cold. I've noticed that kind people are also big. Round, blue, and green people are poften rough. Young people who are feeling green and cold are kind. A young person who is red and green is also going to look round. A person who is round shaped while also being quite cold tends to be nice. Rough, blue people tend to have a lot of green aspects.
Charlie is young.
("Charlie" "is" "young" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is big.
("Dave" "is" "big" "+")
Fred is blue.
("Fred" "is" "blue" "+")
Fred is big.
("Fred" "is" "big" "+")
Gary is young.
("Gary" "is" "young" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is nice.
("Gary" "is" "nice" "+")
If someone is green and round then they are cold.
((("someone" "is" "green" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "cold" "+"))
If someone is kind then they are big.
((("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
If someone is blue and green and round then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "green" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "rough" "+"))
If someone is young and green and cold then they are kind.
((("someone" "is" "young" "+") ("someone" "is" "green" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "kind" "+"))
If someone is young and green and red then they are round.
((("someone" "is" "young" "+") ("someone" "is" "green" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "round" "+"))
If someone is round and cold then they are nice.
((("someone" "is" "round" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "nice" "+"))
If someone is rough and blue then they are green.
((("someone" "is" "rough" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "green" "+"))
Charlie is rough.
True
1
proof
[(triple2)]
("Charlie" "is" "rough" "+")
triple2
Charlie is not rough.
False
1
inv-proof
[(triple2)]
("Charlie" "is" "rough" "-")
triple2
Charlie is green.
True
3
proof
[(((triple2 triple4) -> rule7))]
("Charlie" "is" "green" "+")
((triple2 triple4) -> (rule7 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is not green.
False
3
inv-proof
[(((triple2 triple4) -> rule7))]
("Charlie" "is" "green" "-")
((triple2 triple4) -> (rule7 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is kind.
True
6
proof
[(((triple1 ((triple2 triple4) -> rule7) triple3) -> rule4))]
("Charlie" "is" "kind" "+")
((triple1 ((triple2 triple4) -> (rule7 % int2)) triple3) -> (rule4 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is not kind.
False
6
inv-proof
[(((triple1 ((triple2 triple4) -> rule7) triple3) -> rule4))]
("Charlie" "is" "kind" "-")
((triple1 ((triple2 triple4) -> (rule7 % int2)) triple3) -> (rule4 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is big.
True
7
proof
[(((((triple1 ((triple2 triple4) -> rule7) triple3) -> rule4)) -> rule2))]
("Charlie" "is" "big" "+")
((((triple1 ((triple2 triple4) -> (rule7 % int3)) triple3) -> (rule4 % int2))) -> (rule2 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is not big.
False
7
inv-proof
[(((((triple1 ((triple2 triple4) -> rule7) triple3) -> rule4)) -> rule2))]
("Charlie" "is" "big" "-")
((((triple1 ((triple2 triple4) -> (rule7 % int3)) triple3) -> (rule4 % int2))) -> (rule2 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Fred is not nice.
Unknown
inv-rconc
[@2: Fred is nice.[CWA. Example of deepest failure = (rule6 <- rule5 <- FAIL)]]
("Fred" "is" "nice" "-")
Charlie is nice.
Unknown
rconc
[@2: Charlie is nice.[CWA. Example of deepest failure = (rule6 <- rule5 <- FAIL)]]
("Charlie" "is" "nice" "+")
Fred is not green.
Unknown
inv-rconc
[@2: Fred is green.[CWA. Example of deepest failure = (rule7 <- rule3 <- FAIL)]]
("Fred" "is" "green" "-")
Fred is cold.
Unknown
rconc
[@2: Fred is cold.[CWA. Example of deepest failure = (rule1 <- rule5 <- FAIL)]]
("Fred" "is" "cold" "+")
Gary is not blue.
Unknown
inv-random
[@0: Gary is blue.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "blue" "-")
Gary is red.
Unknown
random
[@0: Gary is red.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "red" "+")
Dave is not young.
Unknown
inv-random
[@0: Dave is young.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "young" "-")
Fred is young.
Unknown
random
[@0: Fred is young.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "young" "+")
@0: Charlie is blue.[(triple4)] Charlie is cold.[(triple3)] Charlie is rough.[(triple2)] Charlie is young.[(triple1)] Dave is big.[(triple7 OR ((triple5) -> rule2))] Dave is blue.[(triple6)] Dave is kind.[(triple5)] Fred is big.[(triple9)] Fred is blue.[(triple8)] Gary is nice.[(triple12)] Gary is round.[(triple11)] Gary is young.[(triple10)] @1: Charlie is green.[(((triple2 triple4) -> rule7))] @2: Charlie is kind.[(((triple1 ((triple2 triple4) -> rule7) triple3) -> rule4))] @3: Charlie is big.[(((((triple1 ((triple2 triple4) -> rule7) triple3) -> rule4)) -> rule2))]
Charlie is blue.
("Charlie" "is" "blue" "+")
triple4
Charlie is cold.
("Charlie" "is" "cold" "+")
triple3
Charlie is rough.
("Charlie" "is" "rough" "+")
triple2
Charlie is young.
("Charlie" "is" "young" "+")
triple1
Dave is big.
("Dave" "is" "big" "+")
triple7
((triple5) -> (rule2 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
triple6
Dave is kind.
("Dave" "is" "kind" "+")
triple5
Fred is big.
("Fred" "is" "big" "+")
triple9
Fred is blue.
("Fred" "is" "blue" "+")
triple8
Gary is nice.
("Gary" "is" "nice" "+")
triple12
Gary is round.
("Gary" "is" "round" "+")
triple11
Gary is young.
("Gary" "is" "young" "+")
triple10
Charlie is green.
("Charlie" "is" "green" "+")
((triple2 triple4) -> (rule7 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
((triple1 ((triple2 triple4) -> (rule7 % int2)) triple3) -> (rule4 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
((((triple1 ((triple2 triple4) -> (rule7 % int3)) triple3) -> (rule4 % int2))) -> (rule2 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
I knew Charlie was young, and rough, but he surprised me with how cold and blue he acted.
Dave is so big, he is often blue, but always kind.
Fred is big and dresses in blue.
My friend Gary is very young; People say he is nice for having a round shape.
Someone who is round in shape and green in color is usually cold.
I've noticed that kind people are also big.
Round, blue, and green people are poften rough.
Young people who are feeling green and cold are kind.
A young person who is red and green is also going to look round.
A person who is round shaped while also being quite cold tends to be nice.
Rough, blue people tend to have a lot of green aspects.