My friend Charlie is very young. People say he is nice for having a round shape. Young, red Dave is nice. Fred ate some rotten meat and now feels green. Gary always goes out of his way to show that he is kind to people. Nice green people and often blue with sadness. If a human is both young and kind, they are also cold. If a person that is kind is big and blue they have to be young. A person that is round, green, and blue is usually considered cold. A nice and young aged person will definitely be green in color. Someone who is cold and big is also a red person.
Charlie is young.
("Charlie" "is" "young" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Dave is young.
("Dave" "is" "young" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Fred is green.
("Fred" "is" "green" "+")
Gary is kind.
("Gary" "is" "kind" "+")
If someone is green and nice then they are blue.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "blue" "+"))
If someone is young and kind then they are cold.
((("someone" "is" "young" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
If someone is blue and kind and big then they are young.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
If someone is round and green and blue then they are cold.
((("someone" "is" "round" "+") ("someone" "is" "green" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "cold" "+"))
If someone is nice and young then they are green.
((("someone" "is" "nice" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "green" "+"))
If someone is big and cold then they are red.
((("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
Charlie is young.
True
1
proof
[(triple1)]
("Charlie" "is" "young" "+")
triple1
Fred is not green.
False
1
inv-proof
[(triple7)]
("Fred" "is" "green" "-")
triple7
Charlie is green.
True
3
proof
[(((triple3 triple1) -> rule5))]
("Charlie" "is" "green" "+")
((triple3 triple1) -> (rule5 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Dave is not green.
False
3
inv-proof
[(((triple6 triple4) -> rule5))]
("Dave" "is" "green" "-")
((triple6 triple4) -> (rule5 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Charlie is blue.
True
5
proof
[(((((triple3 triple1) -> rule5) triple3) -> rule1))]
("Charlie" "is" "blue" "+")
((((triple3 triple1) -> (rule5 % int2)) triple3) -> (rule1 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is not blue.
False
5
inv-proof
[(((((triple3 triple1) -> rule5) triple3) -> rule1))]
("Charlie" "is" "blue" "-")
((((triple3 triple1) -> (rule5 % int2)) triple3) -> (rule1 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is cold.
True
10
proof
[(((triple2 ((triple3 triple1) -> rule5) ((((triple3 triple1) -> rule5) triple3) -> rule1)) -> rule4))]
("Charlie" "is" "cold" "+")
((triple2 ((triple3 triple1) -> (rule5 % int3)) ((((triple3 triple1) -> (rule5 % int3)) triple3) -> (rule1 % int2))) -> (rule4 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is not cold.
False
10
inv-proof
[(((triple2 ((triple3 triple1) -> rule5) ((((triple3 triple1) -> rule5) triple3) -> rule1)) -> rule4))]
("Charlie" "is" "cold" "-")
((triple2 ((triple3 triple1) -> (rule5 % int3)) ((((triple3 triple1) -> (rule5 % int3)) triple3) -> (rule1 % int2))) -> (rule4 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Fred is not blue.
Unknown
inv-rconc
[@1: Fred is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fred" "is" "blue" "-")
Gary is cold.
Unknown
rconc
[@2: Gary is cold.[CWA. Example of deepest failure = (rule2 <- rule3 <- FAIL)]]
("Gary" "is" "cold" "+")
Gary is not blue.
Unknown
inv-rconc
[@1: Gary is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "blue" "-")
Dave is cold.
Unknown
rconc
[@1: Dave is cold.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "cold" "+")
Charlie is not big.
Unknown
inv-random
[@0: Charlie is big.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "big" "-")
Fred is nice.
Unknown
random
[@0: Fred is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "nice" "+")
Gary is not round.
Unknown
inv-random
[@0: Gary is round.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "round" "-")
Gary is big.
Unknown
random
[@0: Gary is big.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "big" "+")
@0: Charlie is nice.[(triple3)] Charlie is round.[(triple2)] Charlie is young.[(triple1)] Dave is nice.[(triple6)] Dave is red.[(triple5)] Dave is young.[(triple4)] Fred is green.[(triple7)] Gary is kind.[(triple8)] @1: Charlie is green.[(((triple3 triple1) -> rule5))] Dave is green.[(((triple6 triple4) -> rule5))] @2: Charlie is blue.[(((((triple3 triple1) -> rule5) triple3) -> rule1))] Dave is blue.[(((((triple6 triple4) -> rule5) triple6) -> rule1))] @3: Charlie is cold.[(((triple2 ((triple3 triple1) -> rule5) ((((triple3 triple1) -> rule5) triple3) -> rule1)) -> rule4))]
Charlie is nice.
("Charlie" "is" "nice" "+")
triple3
Charlie is round.
("Charlie" "is" "round" "+")
triple2
Charlie is young.
("Charlie" "is" "young" "+")
triple1
Dave is nice.
("Dave" "is" "nice" "+")
triple6
Dave is red.
("Dave" "is" "red" "+")
triple5
Dave is young.
("Dave" "is" "young" "+")
triple4
Fred is green.
("Fred" "is" "green" "+")
triple7
Gary is kind.
("Gary" "is" "kind" "+")
triple8
Charlie is green.
("Charlie" "is" "green" "+")
((triple3 triple1) -> (rule5 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
((triple6 triple4) -> (rule5 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
((((triple3 triple1) -> (rule5 % int2)) triple3) -> (rule1 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
((((triple6 triple4) -> (rule5 % int2)) triple6) -> (rule1 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
((triple2 ((triple3 triple1) -> (rule5 % int3)) ((((triple3 triple1) -> (rule5 % int3)) triple3) -> (rule1 % int2))) -> (rule4 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
My friend Charlie is very young; People say he is nice for having a round shape.
Young, red Dave is nice.
Fred ate some rotten meat and now feels green.
Gary always goes out of his way to show that he is kind to people.
Nice green people and often blue with sadness.
If a human is both young and kind, they are also cold.
If a person that is kind is big and blue they have to be young.
A person that is round, green, and blue is usually considered cold.
A nice and young aged person will definitely be green in color.
Someone who is cold and big is also a red person.