Alan is man who is rough, red, nice, kind, and also green. Dave is nice, even when he is rough and red with anger. Young Fred got into a fight that left him with red sores on his face. From a certain angle Harry is blue but he is young so maybe that will go away. Red people feel blue about it. A big and young, round someone looks red. When someone is blue, lives green they can be rough but kind. Anyone with red and blue coloration also has green coloration. Generally speaking, a person who is said to be nice, cold, and big, is someone with a blue color. A rough, big, and round person can't help but be kind as well. A nice person with rough skin will be round, you can count on it.
Alan is rough.
("Alan" "is" "rough" "+")
Alan is red.
("Alan" "is" "red" "+")
Alan is nice.
("Alan" "is" "nice" "+")
Alan is kind.
("Alan" "is" "kind" "+")
Alan is green.
("Alan" "is" "green" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Fred is young.
("Fred" "is" "young" "+")
Fred is red.
("Fred" "is" "red" "+")
Harry is young.
("Harry" "is" "young" "+")
Harry is blue.
("Harry" "is" "blue" "+")
If someone is red then they are blue.
((("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
If someone is big and young and round then they are red.
((("someone" "is" "big" "+") ("someone" "is" "young" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "red" "+"))
If someone is blue and rough and green then they are kind.
((("someone" "is" "blue" "+") ("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "kind" "+"))
If someone is red and blue then they are green.
((("someone" "is" "red" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "green" "+"))
If someone is nice and cold and big then they are blue.
((("someone" "is" "nice" "+") ("someone" "is" "cold" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "blue" "+"))
If someone is rough and big and round then they are kind.
((("someone" "is" "rough" "+") ("someone" "is" "big" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "kind" "+"))
If someone is rough and nice then they are round.
((("someone" "is" "rough" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "round" "+"))
Alan is nice.
True
1
proof
[(triple3)]
("Alan" "is" "nice" "+")
triple3
Alan is not rough.
False
1
inv-proof
[(triple1)]
("Alan" "is" "rough" "-")
triple1
Alan is blue.
True
2
proof
[(((triple2) -> rule1))]
("Alan" "is" "blue" "+")
((triple2) -> (rule1 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Dave is not round.
False
3
inv-proof
[(((triple6 triple8) -> rule7))]
("Dave" "is" "round" "-")
((triple6 triple8) -> (rule7 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is green.
True
4
proof
[(((triple7 ((triple7) -> rule1)) -> rule4))]
("Dave" "is" "green" "+")
((triple7 ((triple7) -> (rule1 % int2))) -> (rule4 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Fred is not green.
False
4
inv-proof
[(((triple10 ((triple10) -> rule1)) -> rule4))]
("Fred" "is" "green" "-")
((triple10 ((triple10) -> (rule1 % int2))) -> (rule4 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Dave is kind.
True
8
proof
[(((((triple7) -> rule1) triple6 ((triple7 ((triple7) -> rule1)) -> rule4)) -> rule3))]
("Dave" "is" "kind" "+")
((((triple7) -> (rule1 % int3)) triple6 ((triple7 ((triple7) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is not kind.
False
8
inv-proof
[(((((triple7) -> rule1) triple6 ((triple7 ((triple7) -> rule1)) -> rule4)) -> rule3))]
("Dave" "is" "kind" "-")
((((triple7) -> (rule1 % int3)) triple6 ((triple7 ((triple7) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Harry is not kind.
Unknown
inv-rconc
[@1: Harry is kind.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "kind" "-")
Harry is green.
Unknown
rconc
[@2: Harry is green.[CWA. Example of deepest failure = (rule4 <- rule2 <- FAIL)]]
("Harry" "is" "green" "+")
Harry is not red.
Unknown
inv-rconc
[@1: Harry is red.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "red" "-")
Harry is round.
Unknown
rconc
[@1: Harry is round.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Harry" "is" "round" "+")
Alan is not young.
Unknown
inv-random
[@0: Alan is young.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "young" "-")
Alan is cold.
Unknown
random
[@0: Alan is cold.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "cold" "+")
Harry is not rough.
Unknown
inv-random
[@0: Harry is rough.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "rough" "-")
Fred is nice.
Unknown
random
[@0: Fred is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "nice" "+")
@0: Alan is green.[(triple5 OR ((triple2 ((triple2) -> rule1)) -> rule4))] Alan is kind.[(triple4 OR ((((triple2) -> rule1) triple1 triple5) -> rule3) OR ((((triple2) -> rule1) triple1 ((triple2 ((triple2) -> rule1)) -> rule4)) -> rule3))] Alan is nice.[(triple3)] Alan is red.[(triple2)] Alan is rough.[(triple1)] Dave is nice.[(triple8)] Dave is red.[(triple7)] Dave is rough.[(triple6)] Fred is red.[(triple10)] Fred is young.[(triple9)] Harry is blue.[(triple12)] Harry is young.[(triple11)] @1: Alan is blue.[(((triple2) -> rule1))] Alan is round.[(((triple1 triple3) -> rule7))] Dave is blue.[(((triple7) -> rule1))] Dave is round.[(((triple6 triple8) -> rule7))] Fred is blue.[(((triple10) -> rule1))] @2: Dave is green.[(((triple7 ((triple7) -> rule1)) -> rule4))] Fred is green.[(((triple10 ((triple10) -> rule1)) -> rule4))] @3: Dave is kind.[(((((triple7) -> rule1) triple6 ((triple7 ((triple7) -> rule1)) -> rule4)) -> rule3))]
Alan is green.
("Alan" "is" "green" "+")
triple5
((triple2 ((triple2) -> (rule1 % int2))) -> (rule4 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
Alan is kind.
("Alan" "is" "kind" "+")
triple4
((((triple2) -> (rule1 % int2)) triple1 triple5) -> (rule3 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
((((triple2) -> (rule1 % int3)) triple1 ((triple2 ((triple2) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
int2
Alan is blue.
("Alan" "is" "blue" "+")
int3
Alan is nice.
("Alan" "is" "nice" "+")
triple3
Alan is red.
("Alan" "is" "red" "+")
triple2
Alan is rough.
("Alan" "is" "rough" "+")
triple1
Dave is nice.
("Dave" "is" "nice" "+")
triple8
Dave is red.
("Dave" "is" "red" "+")
triple7
Dave is rough.
("Dave" "is" "rough" "+")
triple6
Fred is red.
("Fred" "is" "red" "+")
triple10
Fred is young.
("Fred" "is" "young" "+")
triple9
Harry is blue.
("Harry" "is" "blue" "+")
triple12
Harry is young.
("Harry" "is" "young" "+")
triple11
Alan is blue.
("Alan" "is" "blue" "+")
((triple2) -> (rule1 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
((triple1 triple3) -> (rule7 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
((triple7) -> (rule1 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
((triple6 triple8) -> (rule7 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
((triple10) -> (rule1 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
((triple7 ((triple7) -> (rule1 % int2))) -> (rule4 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Fred is green.
("Fred" "is" "green" "+")
((triple10 ((triple10) -> (rule1 % int2))) -> (rule4 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
((((triple7) -> (rule1 % int3)) triple6 ((triple7 ((triple7) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Alan is man who is rough, red, nice, kind, and also green.
Dave is nice, even when he is rough and red with anger.
Young Fred got into a fight that left him with red sores on his face.
From a certain angle Harry is blue but he is young so maybe that will go away.
Red people feel blue about it.
A big and young, round someone looks red.
When someone is blue, lives green they can be rough but kind.
Anyone with red and blue coloration also has green coloration.
Generally speaking, a person who is said to be nice, cold, and big, is someone with a blue color.
A rough, big, and round person can't help but be kind as well.
A nice person with rough skin will be round, you can count on it.