Young Dave got into a fight that left him with red sores on his face. Although Eric is young and nice, he is as cold as ice. Fred who is considered nice was feeling rather rough today. Gary is big and red, but he's young and will grow out of it. A very kind and green colored person, who is also cold, will be nice. A young aged and blue colored person will certainly be round. A person who is cold but red, and big in size is young for sure. Red people feel blue about it. I've noticed that someone with a round shape is also green.
Dave is young.
("Dave" "is" "young" "+")
Dave is red.
("Dave" "is" "red" "+")
Eric is young.
("Eric" "is" "young" "+")
Eric is nice.
("Eric" "is" "nice" "+")
Eric is cold.
("Eric" "is" "cold" "+")
Fred is rough.
("Fred" "is" "rough" "+")
Fred is nice.
("Fred" "is" "nice" "+")
Gary is young.
("Gary" "is" "young" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is big.
("Gary" "is" "big" "+")
If someone is kind and green and cold then they are nice.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "nice" "+"))
If someone is young and blue then they are round.
((("someone" "is" "young" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
If someone is red and big and cold then they are young.
((("someone" "is" "red" "+") ("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
If someone is red then they are blue.
((("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
If someone is round then they are green.
((("someone" "is" "round" "+")) -> ("someone" "is" "green" "+"))
Dave is red.
True
1
proof
[(triple2)]
("Dave" "is" "red" "+")
triple2
Eric is not young.
False
1
inv-proof
[(triple3)]
("Eric" "is" "young" "-")
triple3
Dave is blue.
True
2
proof
[(((triple2) -> rule4))]
("Dave" "is" "blue" "+")
((triple2) -> (rule4 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is not blue.
False
2
inv-proof
[(((triple2) -> rule4))]
("Dave" "is" "blue" "-")
((triple2) -> (rule4 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is round.
True
4
proof
[(((triple1 ((triple2) -> rule4)) -> rule2))]
("Dave" "is" "round" "+")
((triple1 ((triple2) -> (rule4 % int2))) -> (rule2 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is not round.
False
4
inv-proof
[(((triple1 ((triple2) -> rule4)) -> rule2))]
("Dave" "is" "round" "-")
((triple1 ((triple2) -> (rule4 % int2))) -> (rule2 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Gary is green.
True
5
proof
[(((((triple8 ((triple9) -> rule4)) -> rule2)) -> rule5))]
("Gary" "is" "green" "+")
((((triple8 ((triple9) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is not green.
False
5
inv-proof
[(((((triple8 ((triple9) -> rule4)) -> rule2)) -> rule5))]
("Gary" "is" "green" "-")
((((triple8 ((triple9) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is not nice.
Unknown
inv-rconc
[@1: Gary is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "nice" "-")
Fred is young.
Unknown
rconc
[@1: Fred is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Fred" "is" "young" "+")
Dave is not nice.
Unknown
inv-rconc
[@1: Dave is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "nice" "-")
Fred is green.
Unknown
rconc
[@3: Fred is green.[CWA. Example of deepest failure = (rule5 <- rule2 <- rule3 <- FAIL)]]
("Fred" "is" "green" "+")
Eric is not rough.
Unknown
inv-random
[@0: Eric is rough.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "rough" "-")
Fred is red.
Unknown
random
[@0: Fred is red.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "red" "+")
Eric is not kind.
Unknown
inv-random
[@0: Eric is kind.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "kind" "-")
Dave is kind.
Unknown
random
[@0: Dave is kind.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "kind" "+")
@0: Dave is red.[(triple2)] Dave is young.[(triple1)] Eric is cold.[(triple5)] Eric is nice.[(triple4)] Eric is young.[(triple3)] Fred is nice.[(triple7)] Fred is rough.[(triple6)] Gary is big.[(triple10)] Gary is red.[(triple9)] Gary is young.[(triple8)] @1: Dave is blue.[(((triple2) -> rule4))] Gary is blue.[(((triple9) -> rule4))] @2: Dave is round.[(((triple1 ((triple2) -> rule4)) -> rule2))] Gary is round.[(((triple8 ((triple9) -> rule4)) -> rule2))] @3: Dave is green.[(((((triple1 ((triple2) -> rule4)) -> rule2)) -> rule5))] Gary is green.[(((((triple8 ((triple9) -> rule4)) -> rule2)) -> rule5))]
Dave is red.
("Dave" "is" "red" "+")
triple2
Dave is young.
("Dave" "is" "young" "+")
triple1
Eric is cold.
("Eric" "is" "cold" "+")
triple5
Eric is nice.
("Eric" "is" "nice" "+")
triple4
Eric is young.
("Eric" "is" "young" "+")
triple3
Fred is nice.
("Fred" "is" "nice" "+")
triple7
Fred is rough.
("Fred" "is" "rough" "+")
triple6
Gary is big.
("Gary" "is" "big" "+")
triple10
Gary is red.
("Gary" "is" "red" "+")
triple9
Gary is young.
("Gary" "is" "young" "+")
triple8
Dave is blue.
("Dave" "is" "blue" "+")
((triple2) -> (rule4 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
((triple9) -> (rule4 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
((triple1 ((triple2) -> (rule4 % int2))) -> (rule2 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
((triple8 ((triple9) -> (rule4 % int2))) -> (rule2 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
((((triple1 ((triple2) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
((((triple8 ((triple9) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Young Dave got into a fight that left him with red sores on his face.
Although Eric is young and nice, he is as cold as ice.
Fred who is considered nice was feeling rather rough today.
Gary is big and red, but he's young and will grow out of it.
A very kind and green colored person, who is also cold, will be nice.
A young aged and blue colored person will certainly be round.
A person who is cold but red, and big in size is young for sure.
Red people feel blue about it.
I've noticed that someone with a round shape is also green.