Upon meeting Alan, you'll notice he's green and kind. Bob vowed to always be rough, cold, blue, and big as possible. That guy Eric is big, but he's always kind to little ones. Even though he's young and green, Gary is rough. Most young, green people are kind and because of this they are round. A round person who is nice and feelin cold is usually rough in apperance. Anybody that is big is also someone who is going to be blue. Because of circulation issues big people are often cold. If they are also green then they are certainly young. A person who is green and kind is usually rather big. People that are big but also green, may ultimately be very nice. Kind people who are nice find that they must also be rough.
Alan is kind.
("Alan" "is" "kind" "+")
Alan is green.
("Alan" "is" "green" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is big.
("Bob" "is" "big" "+")
Eric is kind.
("Eric" "is" "kind" "+")
Eric is big.
("Eric" "is" "big" "+")
Gary is young.
("Gary" "is" "young" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is green.
("Gary" "is" "green" "+")
If someone is green and young and kind then they are round.
((("someone" "is" "green" "+") ("someone" "is" "young" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
If someone is round and nice and cold then they are rough.
((("someone" "is" "round" "+") ("someone" "is" "nice" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "rough" "+"))
If someone is big then they are blue.
((("someone" "is" "big" "+")) -> ("someone" "is" "blue" "+"))
If someone is cold and green and big then they are young.
((("someone" "is" "cold" "+") ("someone" "is" "green" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
If someone is green and kind then they are big.
((("someone" "is" "green" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
If someone is big and green then they are nice.
((("someone" "is" "big" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
If someone is kind and nice then they are rough.
((("someone" "is" "kind" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
Alan is kind.
True
1
proof
[(triple1)]
("Alan" "is" "kind" "+")
triple1
Gary is not young.
False
1
inv-proof
[(triple9)]
("Gary" "is" "young" "-")
triple9
Alan is big.
True
3
proof
[(((triple2 triple1) -> rule5))]
("Alan" "is" "big" "+")
((triple2 triple1) -> (rule5 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is not big.
False
3
inv-proof
[(((triple2 triple1) -> rule5))]
("Alan" "is" "big" "-")
((triple2 triple1) -> (rule5 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is blue.
True
4
proof
[(((((triple2 triple1) -> rule5)) -> rule3))]
("Alan" "is" "blue" "+")
((((triple2 triple1) -> (rule5 % int2))) -> (rule3 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is big.
("Alan" "is" "big" "+")
int2
Alan is not nice.
False
5
inv-proof
[(((((triple2 triple1) -> rule5) triple2) -> rule6))]
("Alan" "is" "nice" "-")
((((triple2 triple1) -> (rule5 % int2)) triple2) -> (rule6 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is big.
("Alan" "is" "big" "+")
int2
Alan is rough.
True
7
proof
[(((triple1 ((((triple2 triple1) -> rule5) triple2) -> rule6)) -> rule7))]
("Alan" "is" "rough" "+")
((triple1 ((((triple2 triple1) -> (rule5 % int3)) triple2) -> (rule6 % int2))) -> (rule7 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is big.
("Alan" "is" "big" "+")
int3
Alan is not rough.
False
7
inv-proof
[(((triple1 ((((triple2 triple1) -> rule5) triple2) -> rule6)) -> rule7))]
("Alan" "is" "rough" "-")
((triple1 ((((triple2 triple1) -> (rule5 % int3)) triple2) -> (rule6 % int2))) -> (rule7 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is big.
("Alan" "is" "big" "+")
int3
Alan is not young.
Unknown
inv-rconc
[@1: Alan is young.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Alan" "is" "young" "-")
Gary is nice.
Unknown
rconc
[@2: Gary is nice.[CWA. Example of deepest failure = (rule6 <- rule5 <- FAIL)]]
("Gary" "is" "nice" "+")
Eric is not rough.
Unknown
inv-rconc
[@2: Eric is rough.[CWA. Example of deepest failure = (rule7 <- rule6 <- FAIL)]]
("Eric" "is" "rough" "-")
Gary is big.
Unknown
rconc
[@1: Gary is big.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Gary" "is" "big" "+")
Eric is not green.
Unknown
inv-random
[@0: Eric is green.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "green" "-")
Bob is red.
Unknown
random
[@0: Bob is red.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "red" "+")
Gary is not cold.
Unknown
inv-random
[@0: Gary is cold.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "cold" "-")
Bob is kind.
Unknown
random
[@0: Bob is kind.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "kind" "+")
@0: Alan is green.[(triple2)] Alan is kind.[(triple1)] Bob is big.[(triple6)] Bob is blue.[(triple5 OR ((triple6) -> rule3))] Bob is cold.[(triple4)] Bob is rough.[(triple3)] Eric is big.[(triple8)] Eric is kind.[(triple7)] Gary is green.[(triple11)] Gary is rough.[(triple10)] Gary is young.[(triple9)] @1: Alan is big.[(((triple2 triple1) -> rule5))] Eric is blue.[(((triple8) -> rule3))] @2: Alan is blue.[(((((triple2 triple1) -> rule5)) -> rule3))] Alan is nice.[(((((triple2 triple1) -> rule5) triple2) -> rule6))] @3: Alan is rough.[(((triple1 ((((triple2 triple1) -> rule5) triple2) -> rule6)) -> rule7))]
Alan is green.
("Alan" "is" "green" "+")
triple2
Alan is kind.
("Alan" "is" "kind" "+")
triple1
Bob is big.
("Bob" "is" "big" "+")
triple6
Bob is blue.
("Bob" "is" "blue" "+")
triple5
((triple6) -> (rule3 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
triple4
Bob is rough.
("Bob" "is" "rough" "+")
triple3
Eric is big.
("Eric" "is" "big" "+")
triple8
Eric is kind.
("Eric" "is" "kind" "+")
triple7
Gary is green.
("Gary" "is" "green" "+")
triple11
Gary is rough.
("Gary" "is" "rough" "+")
triple10
Gary is young.
("Gary" "is" "young" "+")
triple9
Alan is big.
("Alan" "is" "big" "+")
((triple2 triple1) -> (rule5 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
((triple8) -> (rule3 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
((((triple2 triple1) -> (rule5 % int2))) -> (rule3 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is big.
("Alan" "is" "big" "+")
int2
Alan is nice.
("Alan" "is" "nice" "+")
((((triple2 triple1) -> (rule5 % int2)) triple2) -> (rule6 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is big.
("Alan" "is" "big" "+")
int2
Alan is rough.
("Alan" "is" "rough" "+")
((triple1 ((((triple2 triple1) -> (rule5 % int3)) triple2) -> (rule6 % int2))) -> (rule7 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is big.
("Alan" "is" "big" "+")
int3
Upon meeting Alan, you'll notice he's green and kind.
Bob vowed to always be rough, cold, blue, and big as possible.
That guy Eric is big, but he's always kind to little ones.
Even though he's young and green, Gary is rough.
Most young, green people are kind and because of this they are round.
A round person who is nice and feelin cold is usually rough in apperance.
Anybody that is big is also someone who is going to be blue.
Because of circulation issues big people are often cold; If they are also green then they are certainly young.
A person who is green and kind is usually rather big.
People that are big but also green, may ultimately be very nice.
Kind people who are nice find that they must also be rough.