I know Alan really well and you can say he is rough on the outside, cold on the inside and red all of the time. Eric figured he wasn't just young and round. He was rough and red, and he was as green as he was big. Rough people are often always nice. Anyone that is a red, nice soul will be big, too. You know when you meet a red, blue and kind person, that means they are green. A green, round, blue male or female will be a big male or female, too. A big rough person are also young of age. Big, blue people are red.
Alan is rough.
("Alan" "is" "rough" "+")
Alan is red.
("Alan" "is" "red" "+")
Alan is cold.
("Alan" "is" "cold" "+")
Eric is young.
("Eric" "is" "young" "+")
Eric is round.
("Eric" "is" "round" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Eric is red.
("Eric" "is" "red" "+")
Eric is green.
("Eric" "is" "green" "+")
Eric is big.
("Eric" "is" "big" "+")
If someone is rough then they are nice.
((("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "+"))
If someone is red and nice then they are big.
((("someone" "is" "red" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "big" "+"))
If someone is red and blue and kind then they are green.
((("someone" "is" "red" "+") ("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "green" "+"))
If someone is green and round and blue then they are big.
((("someone" "is" "green" "+") ("someone" "is" "round" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "big" "+"))
If someone is big and rough then they are young.
((("someone" "is" "big" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "young" "+"))
If someone is blue and big then they are red.
((("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "red" "+"))
Eric is round.
True
1
proof
[(triple5)]
("Eric" "is" "round" "+")
triple5
Eric is not rough.
False
1
inv-proof
[(triple6)]
("Eric" "is" "rough" "-")
triple6
Eric is nice.
True
2
proof
[(((triple6) -> rule1))]
("Eric" "is" "nice" "+")
((triple6) -> (rule1 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is not nice.
False
2
inv-proof
[(((triple6) -> rule1))]
("Eric" "is" "nice" "-")
((triple6) -> (rule1 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Alan is big.
True
4
proof
[(((triple2 ((triple1) -> rule1)) -> rule2))]
("Alan" "is" "big" "+")
((triple2 ((triple1) -> (rule1 % int2))) -> (rule2 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is not big.
False
4
inv-proof
[(((triple2 ((triple1) -> rule1)) -> rule2))]
("Alan" "is" "big" "-")
((triple2 ((triple1) -> (rule1 % int2))) -> (rule2 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is young.
True
6
proof
[(((((triple2 ((triple1) -> rule1)) -> rule2) triple1) -> rule5))]
("Alan" "is" "young" "+")
((((triple2 ((triple1) -> (rule1 % int3))) -> (rule2 % int2)) triple1) -> (rule5 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is big.
("Alan" "is" "big" "+")
int2
Alan is nice.
("Alan" "is" "nice" "+")
int3
Alan is not young.
False
6
inv-proof
[(((((triple2 ((triple1) -> rule1)) -> rule2) triple1) -> rule5))]
("Alan" "is" "young" "-")
((((triple2 ((triple1) -> (rule1 % int3))) -> (rule2 % int2)) triple1) -> (rule5 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is big.
("Alan" "is" "big" "+")
int2
Alan is nice.
("Alan" "is" "nice" "+")
int3
Charlie is not big.
Unknown
inv-rconc
[@2: Charlie is big.[CWA. Example of deepest failure = (rule2 <- rule6 <- FAIL)]]
("Charlie" "is" "big" "-")
Fred is green.
Unknown
rconc
[@1: Fred is green.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Fred" "is" "green" "+")
Charlie is not green.
Unknown
inv-rconc
[@1: Charlie is green.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Charlie" "is" "green" "-")
Charlie is red.
Unknown
rconc
[@1: Charlie is red.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Charlie" "is" "red" "+")
Fred is not rough.
Unknown
inv-random
[@0: Fred is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "rough" "-")
Charlie is cold.
Unknown
random
[@0: Charlie is cold.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "cold" "+")
Alan is not blue.
Unknown
inv-random
[@0: Alan is blue.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "blue" "-")
Fred is round.
Unknown
random
[@0: Fred is round.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "round" "+")
@0: Alan is cold.[(triple3)] Alan is red.[(triple2)] Alan is rough.[(triple1)] Eric is big.[(triple9 OR ((triple7 ((triple6) -> rule1)) -> rule2))] Eric is green.[(triple8)] Eric is red.[(triple7)] Eric is rough.[(triple6)] Eric is round.[(triple5)] Eric is young.[(triple4 OR ((triple9 triple6) -> rule5) OR ((((triple7 ((triple6) -> rule1)) -> rule2) triple6) -> rule5))] @1: Alan is nice.[(((triple1) -> rule1))] Eric is nice.[(((triple6) -> rule1))] @2: Alan is big.[(((triple2 ((triple1) -> rule1)) -> rule2))] @3: Alan is young.[(((((triple2 ((triple1) -> rule1)) -> rule2) triple1) -> rule5))]
Alan is cold.
("Alan" "is" "cold" "+")
triple3
Alan is red.
("Alan" "is" "red" "+")
triple2
Alan is rough.
("Alan" "is" "rough" "+")
triple1
Eric is big.
("Eric" "is" "big" "+")
triple9
((triple7 ((triple6) -> (rule1 % int2))) -> (rule2 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
int2
Eric is green.
("Eric" "is" "green" "+")
triple8
Eric is red.
("Eric" "is" "red" "+")
triple7
Eric is rough.
("Eric" "is" "rough" "+")
triple6
Eric is round.
("Eric" "is" "round" "+")
triple5
Eric is young.
("Eric" "is" "young" "+")
triple4
((triple9 triple6) -> (rule5 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
((((triple7 ((triple6) -> (rule1 % int3))) -> (rule2 % int2)) triple6) -> (rule5 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is nice.
("Eric" "is" "nice" "+")
int3
Alan is nice.
("Alan" "is" "nice" "+")
((triple1) -> (rule1 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
((triple6) -> (rule1 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Alan is big.
("Alan" "is" "big" "+")
((triple2 ((triple1) -> (rule1 % int2))) -> (rule2 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is young.
("Alan" "is" "young" "+")
((((triple2 ((triple1) -> (rule1 % int3))) -> (rule2 % int2)) triple1) -> (rule5 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is big.
("Alan" "is" "big" "+")
int2
Alan is nice.
("Alan" "is" "nice" "+")
int3
I know Alan really well and you can say he is rough on the outside, cold on the inside and red all of the time.
Eric figured he wasn't just young and round; He was rough and red, and he was as green as he was big.
Rough people are often always nice.
Anyone that is a red, nice soul will be big, too.
You know when you meet a red, blue and kind person, that means they are green.
A green, round, blue male or female will be a big male or female, too.
A big rough person are also young of age.
Big, blue people are red.