Big, red Alan is quite kind. Gary a big man for his young age. he has red hair and can be rough. I have found that if someone is kind and red, that they are quite often nice. If you see someone who is red and green they are round, like Santa Claus. Red, kind, rough people are the young ones. When someone feels blue and rough, they might be described as green. Young people with red skin that play rough are actually quite kind. An individual who is big and nice is also green. A cold temperatured and rough person who is also green will be big shaped.
Alan is red.
("Alan" "is" "red" "+")
Alan is kind.
("Alan" "is" "kind" "+")
Alan is big.
("Alan" "is" "big" "+")
Gary is young.
("Gary" "is" "young" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is big.
("Gary" "is" "big" "+")
If someone is kind and red then they are nice.
((("someone" "is" "kind" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "nice" "+"))
If someone is red and green then they are round.
((("someone" "is" "red" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
If someone is red and kind and rough then they are young.
((("someone" "is" "red" "+") ("someone" "is" "kind" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "young" "+"))
If someone is blue and rough then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
If someone is young and rough and red then they are kind.
((("someone" "is" "young" "+") ("someone" "is" "rough" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "kind" "+"))
If someone is big and nice then they are green.
((("someone" "is" "big" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "green" "+"))
If someone is cold and rough and green then they are big.
((("someone" "is" "cold" "+") ("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
Gary is red.
True
1
proof
[(triple6)]
("Gary" "is" "red" "+")
triple6
Gary is not rough.
False
1
inv-proof
[(triple5)]
("Gary" "is" "rough" "-")
triple5
Alan is nice.
True
3
proof
[(((triple2 triple1) -> rule1))]
("Alan" "is" "nice" "+")
((triple2 triple1) -> (rule1 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Gary is not kind.
False
4
inv-proof
[(((triple4 triple5 triple6) -> rule5))]
("Gary" "is" "kind" "-")
((triple4 triple5 triple6) -> (rule5 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Alan is green.
True
5
proof
[(((triple3 ((triple2 triple1) -> rule1)) -> rule6))]
("Alan" "is" "green" "+")
((triple3 ((triple2 triple1) -> (rule1 % int2))) -> (rule6 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Gary is not nice.
False
6
inv-proof
[(((((triple4 triple5 triple6) -> rule5) triple6) -> rule1))]
("Gary" "is" "nice" "-")
((((triple4 triple5 triple6) -> (rule5 % int2)) triple6) -> (rule1 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is green.
True
8
proof
[(((triple7 ((((triple4 triple5 triple6) -> rule5) triple6) -> rule1)) -> rule6))]
("Gary" "is" "green" "+")
((triple7 ((((triple4 triple5 triple6) -> (rule5 % int3)) triple6) -> (rule1 % int2))) -> (rule6 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is not green.
False
8
inv-proof
[(((triple7 ((((triple4 triple5 triple6) -> rule5) triple6) -> rule1)) -> rule6))]
("Gary" "is" "green" "-")
((triple7 ((((triple4 triple5 triple6) -> (rule5 % int3)) triple6) -> (rule1 % int2))) -> (rule6 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is round.
True
10
proof
[(((triple6 ((triple7 ((((triple4 triple5 triple6) -> rule5) triple6) -> rule1)) -> rule6)) -> rule2))]
("Gary" "is" "round" "+")
((triple6 ((triple7 ((((triple4 triple5 triple6) -> (rule5 % int4)) triple6) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
Gary is not round.
False
10
inv-proof
[(((triple6 ((triple7 ((((triple4 triple5 triple6) -> rule5) triple6) -> rule1)) -> rule6)) -> rule2))]
("Gary" "is" "round" "-")
((triple6 ((triple7 ((((triple4 triple5 triple6) -> (rule5 % int4)) triple6) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
Harry is not big.
Unknown
inv-rconc
[@1: Harry is big.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Harry" "is" "big" "-")
Charlie is kind.
Unknown
rconc
[@1: Charlie is kind.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Charlie" "is" "kind" "+")
Charlie is not round.
Unknown
inv-rconc
[@1: Charlie is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "round" "-")
Harry is green.
Unknown
rconc
[@2: Harry is green.[CWA. Example of deepest failure = (rule6 <- rule7 <- FAIL)]]
("Harry" "is" "green" "+")
Harry is not nice.
Unknown
inv-rconc
[@1: Harry is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "nice" "-")
Harry is rough.
Unknown
random
[@0: Harry is rough.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "rough" "+")
Alan is not cold.
Unknown
inv-random
[@0: Alan is cold.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "cold" "-")
Charlie is rough.
Unknown
random
[@0: Charlie is rough.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "rough" "+")
Harry is not cold.
Unknown
inv-random
[@0: Harry is cold.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "cold" "-")
Alan is blue.
Unknown
random
[@0: Alan is blue.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "blue" "+")
@0: Alan is big.[(triple3)] Alan is kind.[(triple2)] Alan is red.[(triple1)] Gary is big.[(triple7)] Gary is red.[(triple6)] Gary is rough.[(triple5)] Gary is young.[(triple4)] @1: Alan is nice.[(((triple2 triple1) -> rule1))] Gary is kind.[(((triple4 triple5 triple6) -> rule5))] @2: Alan is green.[(((triple3 ((triple2 triple1) -> rule1)) -> rule6))] Gary is nice.[(((((triple4 triple5 triple6) -> rule5) triple6) -> rule1))] @3: Alan is round.[(((triple1 ((triple3 ((triple2 triple1) -> rule1)) -> rule6)) -> rule2))] Gary is green.[(((triple7 ((((triple4 triple5 triple6) -> rule5) triple6) -> rule1)) -> rule6))] @4: Gary is round.[(((triple6 ((triple7 ((((triple4 triple5 triple6) -> rule5) triple6) -> rule1)) -> rule6)) -> rule2))]
Alan is big.
("Alan" "is" "big" "+")
triple3
Alan is kind.
("Alan" "is" "kind" "+")
triple2
Alan is red.
("Alan" "is" "red" "+")
triple1
Gary is big.
("Gary" "is" "big" "+")
triple7
Gary is red.
("Gary" "is" "red" "+")
triple6
Gary is rough.
("Gary" "is" "rough" "+")
triple5
Gary is young.
("Gary" "is" "young" "+")
triple4
Alan is nice.
("Alan" "is" "nice" "+")
((triple2 triple1) -> (rule1 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
((triple4 triple5 triple6) -> (rule5 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
((triple3 ((triple2 triple1) -> (rule1 % int2))) -> (rule6 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
((((triple4 triple5 triple6) -> (rule5 % int2)) triple6) -> (rule1 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Alan is round.
("Alan" "is" "round" "+")
((triple1 ((triple3 ((triple2 triple1) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
int2
Alan is nice.
("Alan" "is" "nice" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
((triple7 ((((triple4 triple5 triple6) -> (rule5 % int3)) triple6) -> (rule1 % int2))) -> (rule6 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
((triple6 ((triple7 ((((triple4 triple5 triple6) -> (rule5 % int4)) triple6) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
Big, red Alan is quite kind.
Gary a big man for his young age; he has red hair and can be rough.
I have found that if someone is kind and red, that they are quite often nice.
If you see someone who is red and green they are round, like Santa Claus.
Red, kind, rough people are the young ones.
When someone feels blue and rough, they might be described as green.
Young people with red skin that play rough are actually quite kind.
An individual who is big and nice is also green.
A cold temperatured and rough person who is also green will be big shaped.