Alan is round shaped and green colored. Young Dave is wearing green pants. Even though Fred is big and round, he is cold much of the time. If you met Gary you will see that he is round and red, but he is cold. If people are nice and round, they look red. A rough, big soul is sure to be nice, too. I've noticed that someone with a round shape is also green. Round and big people are sure to be rough. Blue and red people who are young always have rough skin.
Alan is round.
("Alan" "is" "round" "+")
Alan is green.
("Alan" "is" "green" "+")
Dave is young.
("Dave" "is" "young" "+")
Dave is green.
("Dave" "is" "green" "+")
Fred is round.
("Fred" "is" "round" "+")
Fred is cold.
("Fred" "is" "cold" "+")
Fred is big.
("Fred" "is" "big" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is cold.
("Gary" "is" "cold" "+")
If someone is nice and round then they are red.
((("someone" "is" "nice" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "red" "+"))
If someone is rough and big then they are nice.
((("someone" "is" "rough" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
If someone is round then they are green.
((("someone" "is" "round" "+")) -> ("someone" "is" "green" "+"))
If someone is round and big then they are rough.
((("someone" "is" "round" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "rough" "+"))
If someone is blue and red and young then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
Gary is cold.
True
1
proof
[(triple10)]
("Gary" "is" "cold" "+")
triple10
Dave is not young.
False
1
inv-proof
[(triple3)]
("Dave" "is" "young" "-")
triple3
Fred is green.
True
2
proof
[(((triple5) -> rule3))]
("Fred" "is" "green" "+")
((triple5) -> (rule3 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is not rough.
False
3
inv-proof
[(((triple5 triple7) -> rule4))]
("Fred" "is" "rough" "-")
((triple5 triple7) -> (rule4 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is nice.
True
5
proof
[(((((triple5 triple7) -> rule4) triple7) -> rule2))]
("Fred" "is" "nice" "+")
((((triple5 triple7) -> (rule4 % int2)) triple7) -> (rule2 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
Fred is not nice.
False
5
inv-proof
[(((((triple5 triple7) -> rule4) triple7) -> rule2))]
("Fred" "is" "nice" "-")
((((triple5 triple7) -> (rule4 % int2)) triple7) -> (rule2 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
Fred is red.
True
7
proof
[(((((((triple5 triple7) -> rule4) triple7) -> rule2) triple5) -> rule1))]
("Fred" "is" "red" "+")
((((((triple5 triple7) -> (rule4 % int3)) triple7) -> (rule2 % int2)) triple5) -> (rule1 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Fred is rough.
("Fred" "is" "rough" "+")
int3
Fred is not red.
False
7
inv-proof
[(((((((triple5 triple7) -> rule4) triple7) -> rule2) triple5) -> rule1))]
("Fred" "is" "red" "-")
((((((triple5 triple7) -> (rule4 % int3)) triple7) -> (rule2 % int2)) triple5) -> (rule1 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Fred is rough.
("Fred" "is" "rough" "+")
int3
Gary is not rough.
Unknown
inv-rconc
[@1: Gary is rough.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Gary" "is" "rough" "-")
Dave is rough.
Unknown
rconc
[@1: Dave is rough.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Dave" "is" "rough" "+")
Gary is not nice.
Unknown
inv-rconc
[@1: Gary is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "nice" "-")
Dave is red.
Unknown
rconc
[@1: Dave is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "red" "+")
Alan is not young.
Unknown
inv-random
[@0: Alan is young.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "young" "-")
Dave is blue.
Unknown
random
[@0: Dave is blue.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "blue" "+")
Gary is not blue.
Unknown
inv-random
[@0: Gary is blue.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "blue" "-")
Gary is big.
Unknown
random
[@0: Gary is big.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "big" "+")
@0: Alan is green.[(triple2 OR ((triple1) -> rule3))] Alan is round.[(triple1)] Dave is green.[(triple4)] Dave is young.[(triple3)] Fred is big.[(triple7)] Fred is cold.[(triple6)] Fred is round.[(triple5)] Gary is cold.[(triple10)] Gary is red.[(triple9)] Gary is round.[(triple8)] @1: Fred is green.[(((triple5) -> rule3))] Fred is rough.[(((triple5 triple7) -> rule4))] Gary is green.[(((triple8) -> rule3))] @2: Fred is nice.[(((((triple5 triple7) -> rule4) triple7) -> rule2))] @3: Fred is red.[(((((((triple5 triple7) -> rule4) triple7) -> rule2) triple5) -> rule1))]
Alan is green.
("Alan" "is" "green" "+")
triple2
((triple1) -> (rule3 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
triple1
Dave is green.
("Dave" "is" "green" "+")
triple4
Dave is young.
("Dave" "is" "young" "+")
triple3
Fred is big.
("Fred" "is" "big" "+")
triple7
Fred is cold.
("Fred" "is" "cold" "+")
triple6
Fred is round.
("Fred" "is" "round" "+")
triple5
Gary is cold.
("Gary" "is" "cold" "+")
triple10
Gary is red.
("Gary" "is" "red" "+")
triple9
Gary is round.
("Gary" "is" "round" "+")
triple8
Fred is green.
("Fred" "is" "green" "+")
((triple5) -> (rule3 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
((triple5 triple7) -> (rule4 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
((triple8) -> (rule3 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
((((triple5 triple7) -> (rule4 % int2)) triple7) -> (rule2 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
Fred is red.
("Fred" "is" "red" "+")
((((((triple5 triple7) -> (rule4 % int3)) triple7) -> (rule2 % int2)) triple5) -> (rule1 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Fred is rough.
("Fred" "is" "rough" "+")
int3
Alan is round shaped and green colored.
Young Dave is wearing green pants.
Even though Fred is big and round, he is cold much of the time.
If you met Gary you will see that he is round and red, but he is cold.
If people are nice and round, they look red.
A rough, big soul is sure to be nice, too.
I've noticed that someone with a round shape is also green.
Round and big people are sure to be rough.
Blue and red people who are young always have rough skin.