Alan is big and red, but he's young and will grow out of it. Dave can be rather rough, but surprisingly loves the green. He can be rather blue, and is unusually big. Having a round body that is very big makes Gary a kind hearted person that often feels green. Nice people who are big are always cold because they can't find space near the heater. A person that is feeling blue and slightly big, is red as well. Young people that are big in size, tend to be more on the blue side. Rough, blue people tend to have a lot of green aspects. Young people are rough. If someone is green like grass, kind like an angel and big as a barn, they are for sure young in years.
Alan is young.
("Alan" "is" "young" "+")
Alan is red.
("Alan" "is" "red" "+")
Alan is big.
("Alan" "is" "big" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is big.
("Dave" "is" "big" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is big.
("Gary" "is" "big" "+")
If someone is big and nice then they are cold.
((("someone" "is" "big" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "cold" "+"))
If someone is big and blue then they are red.
((("someone" "is" "big" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
If someone is big and young then they are blue.
((("someone" "is" "big" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "blue" "+"))
If someone is rough and blue then they are green.
((("someone" "is" "rough" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "green" "+"))
If someone is young then they are rough.
((("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
If someone is green and kind and big then they are young.
((("someone" "is" "green" "+") ("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
Dave is big.
True
1
proof
[(triple7)]
("Dave" "is" "big" "+")
triple7
Gary is not big.
False
1
inv-proof
[(triple11)]
("Gary" "is" "big" "-")
triple11
Gary is young.
True
4
proof
[(((triple10 triple9 triple11) -> rule6))]
("Gary" "is" "young" "+")
((triple10 triple9 triple11) -> (rule6 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is not young.
False
4
inv-proof
[(((triple10 triple9 triple11) -> rule6))]
("Gary" "is" "young" "-")
((triple10 triple9 triple11) -> (rule6 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is blue.
True
6
proof
[(((triple11 ((triple10 triple9 triple11) -> rule6)) -> rule3))]
("Gary" "is" "blue" "+")
((triple11 ((triple10 triple9 triple11) -> (rule6 % int2))) -> (rule3 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is not rough.
False
5
inv-proof
[(((((triple10 triple9 triple11) -> rule6)) -> rule5))]
("Gary" "is" "rough" "-")
((((triple10 triple9 triple11) -> (rule6 % int2))) -> (rule5 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is red.
True
8
proof
[(((triple11 ((triple11 ((triple10 triple9 triple11) -> rule6)) -> rule3)) -> rule2))]
("Gary" "is" "red" "+")
((triple11 ((triple11 ((triple10 triple9 triple11) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is not red.
False
8
inv-proof
[(((triple11 ((triple11 ((triple10 triple9 triple11) -> rule6)) -> rule3)) -> rule2))]
("Gary" "is" "red" "-")
((triple11 ((triple11 ((triple10 triple9 triple11) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Harry is not blue.
Unknown
inv-rconc
[@1: Harry is blue.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "blue" "-")
Dave is cold.
Unknown
rconc
[@1: Dave is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "cold" "+")
Harry is not young.
Unknown
inv-rconc
[@1: Harry is young.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Harry" "is" "young" "-")
Harry is green.
Unknown
rconc
[@2: Harry is green.[CWA. Example of deepest failure = (rule4 <- rule3 <- FAIL)]]
("Harry" "is" "green" "+")
Dave is not kind.
Unknown
inv-random
[@0: Dave is kind.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "kind" "-")
Harry is nice.
Unknown
random
[@0: Harry is nice.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "nice" "+")
Alan is not kind.
Unknown
inv-random
[@0: Alan is kind.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "kind" "-")
Alan is round.
Unknown
random
[@0: Alan is round.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "round" "+")
@0: Alan is big.[(triple3)] Alan is red.[(triple2 OR ((triple3 ((triple3 triple1) -> rule3)) -> rule2))] Alan is young.[(triple1)] Dave is big.[(triple7)] Dave is blue.[(triple6)] Dave is green.[(triple5 OR ((triple4 triple6) -> rule4))] Dave is rough.[(triple4)] Gary is big.[(triple11)] Gary is green.[(triple10)] Gary is kind.[(triple9)] Gary is round.[(triple8)] @1: Alan is blue.[(((triple3 triple1) -> rule3))] Alan is rough.[(((triple1) -> rule5))] Dave is red.[(((triple7 triple6) -> rule2))] Gary is young.[(((triple10 triple9 triple11) -> rule6))] @2: Alan is green.[(((((triple1) -> rule5) ((triple3 triple1) -> rule3)) -> rule4))] Gary is blue.[(((triple11 ((triple10 triple9 triple11) -> rule6)) -> rule3))] Gary is rough.[(((((triple10 triple9 triple11) -> rule6)) -> rule5))] @3: Gary is red.[(((triple11 ((triple11 ((triple10 triple9 triple11) -> rule6)) -> rule3)) -> rule2))]
Alan is big.
("Alan" "is" "big" "+")
triple3
Alan is red.
("Alan" "is" "red" "+")
triple2
((triple3 ((triple3 triple1) -> (rule3 % int2))) -> (rule2 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
Alan is young.
("Alan" "is" "young" "+")
triple1
Dave is big.
("Dave" "is" "big" "+")
triple7
Dave is blue.
("Dave" "is" "blue" "+")
triple6
Dave is green.
("Dave" "is" "green" "+")
triple5
((triple4 triple6) -> (rule4 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
triple4
Gary is big.
("Gary" "is" "big" "+")
triple11
Gary is green.
("Gary" "is" "green" "+")
triple10
Gary is kind.
("Gary" "is" "kind" "+")
triple9
Gary is round.
("Gary" "is" "round" "+")
triple8
Alan is blue.
("Alan" "is" "blue" "+")
((triple3 triple1) -> (rule3 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
((triple1) -> (rule5 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
((triple7 triple6) -> (rule2 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
((triple10 triple9 triple11) -> (rule6 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
((((triple1) -> (rule5 % int3)) ((triple3 triple1) -> (rule3 % int2))) -> (rule4 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
Alan is rough.
("Alan" "is" "rough" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
((triple11 ((triple10 triple9 triple11) -> (rule6 % int2))) -> (rule3 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
((((triple10 triple9 triple11) -> (rule6 % int2))) -> (rule5 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
((triple11 ((triple11 ((triple10 triple9 triple11) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Alan is big and red, but he's young and will grow out of it.
Dave can be rather rough, but surprisingly loves the green; He can be rather blue, and is unusually big.
Having a round body that is very big makes Gary a kind hearted person that often feels green.
Nice people who are big are always cold because they can't find space near the heater.
A person that is feeling blue and slightly big, is red as well.
Young people that are big in size, tend to be more on the blue side.
Rough, blue people tend to have a lot of green aspects.
Young people are rough.
If someone is green like grass, kind like an angel and big as a barn, they are for sure young in years.