Alan is really big and young, wearing red and blue while feeling cold. Bob is a round fellow, but he is kind, even when he is so cold he turns blue. Even though he's a big dude, Dave is cold. They always call him rough Fred. People who are big and kind are also round. Young, green round people are big. I have found that blue, kind people are big. A person wearing blue clothes and feeling cold very frequently because of their large round body will have green skin. Big, red things tend to have a kind spirit to them. I've noticed that red, cold people who are kind have the trait of rough skin. A big, young aged person that is green will be round shaped.
Alan is young.
("Alan" "is" "young" "+")
Alan is red.
("Alan" "is" "red" "+")
Alan is cold.
("Alan" "is" "cold" "+")
Alan is blue.
("Alan" "is" "blue" "+")
Alan is big.
("Alan" "is" "big" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is big.
("Dave" "is" "big" "+")
Fred is rough.
("Fred" "is" "rough" "+")
If someone is kind and big then they are round.
((("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
If someone is green and young and round then they are big.
((("someone" "is" "green" "+") ("someone" "is" "young" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "big" "+"))
If someone is blue and kind then they are big.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
If someone is cold and blue and round then they are green.
((("someone" "is" "cold" "+") ("someone" "is" "blue" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "green" "+"))
If someone is red and big then they are kind.
((("someone" "is" "red" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "kind" "+"))
If someone is kind and cold and red then they are rough.
((("someone" "is" "kind" "+") ("someone" "is" "cold" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "rough" "+"))
If someone is big and green and young then they are round.
((("someone" "is" "big" "+") ("someone" "is" "green" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "round" "+"))
Alan is big.
True
1
proof
[(triple5)]
("Alan" "is" "big" "+")
triple5
Dave is not cold.
False
1
inv-proof
[(triple10)]
("Dave" "is" "cold" "-")
triple10
Bob is big.
True
3
proof
[(((triple9 triple7) -> rule3))]
("Bob" "is" "big" "+")
((triple9 triple7) -> (rule3 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is not big.
False
3
inv-proof
[(((triple9 triple7) -> rule3))]
("Bob" "is" "big" "-")
((triple9 triple7) -> (rule3 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Alan is rough.
True
6
proof
[(((((triple2 triple5) -> rule5) triple3 triple2) -> rule6))]
("Alan" "is" "rough" "+")
((((triple2 triple5) -> (rule5 % int2)) triple3 triple2) -> (rule6 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
int2
Alan is not rough.
False
6
inv-proof
[(((((triple2 triple5) -> rule5) triple3 triple2) -> rule6))]
("Alan" "is" "rough" "-")
((((triple2 triple5) -> (rule5 % int2)) triple3 triple2) -> (rule6 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
int2
Alan is green.
True
8
proof
[(((triple3 triple4 ((((triple2 triple5) -> rule5) triple5) -> rule1)) -> rule4))]
("Alan" "is" "green" "+")
((triple3 triple4 ((((triple2 triple5) -> (rule5 % int3)) triple5) -> (rule1 % int2))) -> (rule4 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
int2
Alan is kind.
("Alan" "is" "kind" "+")
int3
Alan is not green.
False
8
inv-proof
[(((triple3 triple4 ((((triple2 triple5) -> rule5) triple5) -> rule1)) -> rule4))]
("Alan" "is" "green" "-")
((triple3 triple4 ((((triple2 triple5) -> (rule5 % int3)) triple5) -> (rule1 % int2))) -> (rule4 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
int2
Alan is kind.
("Alan" "is" "kind" "+")
int3
Fred is not round.
Unknown
inv-rconc
[@2: Fred is round.[CWA. Example of deepest failure = (rule1 <- rule5 <- FAIL)]]
("Fred" "is" "round" "-")
Fred is big.
Unknown
rconc
[@1: Fred is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fred" "is" "big" "+")
Dave is not round.
Unknown
inv-rconc
[@2: Dave is round.[CWA. Example of deepest failure = (rule1 <- rule5 <- FAIL)]]
("Dave" "is" "round" "-")
Fred is kind.
Unknown
rconc
[@1: Fred is kind.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Fred" "is" "kind" "+")
Dave is not nice.
Unknown
inv-random
[@0: Dave is nice.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "nice" "-")
Fred is blue.
Unknown
random
[@0: Fred is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "blue" "+")
Bob is not nice.
Unknown
inv-random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "-")
Dave is blue.
Unknown
random
[@0: Dave is blue.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "blue" "+")
@0: Alan is big.[(triple5)] Alan is blue.[(triple4)] Alan is cold.[(triple3)] Alan is red.[(triple2)] Alan is young.[(triple1)] Bob is blue.[(triple9)] Bob is cold.[(triple8)] Bob is kind.[(triple7)] Bob is round.[(triple6 OR ((triple7 ((triple9 triple7) -> rule3)) -> rule1))] Dave is big.[(triple11)] Dave is cold.[(triple10)] Fred is rough.[(triple12)] @1: Alan is kind.[(((triple2 triple5) -> rule5))] Bob is big.[(((triple9 triple7) -> rule3))] Bob is green.[(((triple8 triple9 triple6) -> rule4) OR ((triple8 triple9 ((triple7 ((triple9 triple7) -> rule3)) -> rule1)) -> rule4))] @2: Alan is rough.[(((((triple2 triple5) -> rule5) triple3 triple2) -> rule6))] Alan is round.[(((((triple2 triple5) -> rule5) triple5) -> rule1))] @3: Alan is green.[(((triple3 triple4 ((((triple2 triple5) -> rule5) triple5) -> rule1)) -> rule4))]
Alan is big.
("Alan" "is" "big" "+")
triple5
Alan is blue.
("Alan" "is" "blue" "+")
triple4
Alan is cold.
("Alan" "is" "cold" "+")
triple3
Alan is red.
("Alan" "is" "red" "+")
triple2
Alan is young.
("Alan" "is" "young" "+")
triple1
Bob is blue.
("Bob" "is" "blue" "+")
triple9
Bob is cold.
("Bob" "is" "cold" "+")
triple8
Bob is kind.
("Bob" "is" "kind" "+")
triple7
Bob is round.
("Bob" "is" "round" "+")
triple6
((triple7 ((triple9 triple7) -> (rule3 % int2))) -> (rule1 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
triple11
Dave is cold.
("Dave" "is" "cold" "+")
triple10
Fred is rough.
("Fred" "is" "rough" "+")
triple12
Alan is kind.
("Alan" "is" "kind" "+")
((triple2 triple5) -> (rule5 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
((triple9 triple7) -> (rule3 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
((triple8 triple9 triple6) -> (rule4 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
((triple8 triple9 ((triple7 ((triple9 triple7) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Alan is rough.
("Alan" "is" "rough" "+")
((((triple2 triple5) -> (rule5 % int2)) triple3 triple2) -> (rule6 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
int2
Alan is round.
("Alan" "is" "round" "+")
((((triple2 triple5) -> (rule5 % int2)) triple5) -> (rule1 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
int2
Alan is green.
("Alan" "is" "green" "+")
((triple3 triple4 ((((triple2 triple5) -> (rule5 % int3)) triple5) -> (rule1 % int2))) -> (rule4 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
int2
Alan is kind.
("Alan" "is" "kind" "+")
int3
Alan is really big and young, wearing red and blue while feeling cold.
Bob is a round fellow, but he is kind, even when he is so cold he turns blue.
Even though he's a big dude, Dave is cold.
They always call him rough Fred.
People who are big and kind are also round.
Young, green round people are big.
I have found that blue, kind people are big.
A person wearing blue clothes and feeling cold very frequently because of their large round body will have green skin.
Big, red things tend to have a kind spirit to them.
I've noticed that red, cold people who are kind have the trait of rough skin.
A big, young aged person that is green will be round shaped.