Being new to the job, Alan is nice and green. Even though he is round he is red and cold out in the wind. My friend Eric is very young. People say he is nice for having a round shape. Big people who kind even when look green are often always considered nice. A quite nice person who is red and green is also big. A person with big hair and rough lips is certainly young and jaded. Round green people usually feel blue. If a person is quite big and also round then they are certainly rough too. Someone who tends to be icy cold and rough but secretly nice are generally very blue.
Alan is round.
("Alan" "is" "round" "+")
Alan is red.
("Alan" "is" "red" "+")
Alan is nice.
("Alan" "is" "nice" "+")
Alan is green.
("Alan" "is" "green" "+")
Alan is cold.
("Alan" "is" "cold" "+")
Eric is young.
("Eric" "is" "young" "+")
Eric is round.
("Eric" "is" "round" "+")
Eric is nice.
("Eric" "is" "nice" "+")
If someone is big and kind and green then they are nice.
((("someone" "is" "big" "+") ("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
If someone is red and green and nice then they are big.
((("someone" "is" "red" "+") ("someone" "is" "green" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "big" "+"))
If someone is rough and big then they are young.
((("someone" "is" "rough" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
If someone is round and green then they are blue.
((("someone" "is" "round" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "blue" "+"))
If someone is big and round then they are rough.
((("someone" "is" "big" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "rough" "+"))
If someone is cold and rough and nice then they are blue.
((("someone" "is" "cold" "+") ("someone" "is" "rough" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "blue" "+"))
Alan is green.
True
1
proof
[(triple4)]
("Alan" "is" "green" "+")
triple4
Alan is not red.
False
1
inv-proof
[(triple2)]
("Alan" "is" "red" "-")
triple2
Alan is blue.
True
3
proof
[(((triple1 triple4) -> rule4) OR ((triple5 ((((triple2 triple4 triple3) -> rule2) triple1) -> rule5) triple3) -> rule6))]
("Alan" "is" "blue" "+")
((triple1 triple4) -> (rule4 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
((triple5 ((((triple2 triple4 triple3) -> (rule2 % int3)) triple1) -> (rule5 % int2)) triple3) -> (rule6 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
int2
Alan is big.
("Alan" "is" "big" "+")
int3
Alan is not blue.
False
3
inv-proof
[(((triple1 triple4) -> rule4) OR ((triple5 ((((triple2 triple4 triple3) -> rule2) triple1) -> rule5) triple3) -> rule6))]
("Alan" "is" "blue" "-")
((triple1 triple4) -> (rule4 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
((triple5 ((((triple2 triple4 triple3) -> (rule2 % int3)) triple1) -> (rule5 % int2)) triple3) -> (rule6 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
int2
Alan is big.
("Alan" "is" "big" "+")
int3
Alan is rough.
True
6
proof
[(((((triple2 triple4 triple3) -> rule2) triple1) -> rule5))]
("Alan" "is" "rough" "+")
((((triple2 triple4 triple3) -> (rule2 % int2)) triple1) -> (rule5 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is big.
("Alan" "is" "big" "+")
int2
Alan is not rough.
False
6
inv-proof
[(((((triple2 triple4 triple3) -> rule2) triple1) -> rule5))]
("Alan" "is" "rough" "-")
((((triple2 triple4 triple3) -> (rule2 % int2)) triple1) -> (rule5 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is big.
("Alan" "is" "big" "+")
int2
Alan is young.
True
11
proof
[(((((((triple2 triple4 triple3) -> rule2) triple1) -> rule5) ((triple2 triple4 triple3) -> rule2)) -> rule3))]
("Alan" "is" "young" "+")
((((((triple2 triple4 triple3) -> (rule2 % int3)) triple1) -> (rule5 % int2)) ((triple2 triple4 triple3) -> (rule2 % int3))) -> (rule3 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
int2
Alan is big.
("Alan" "is" "big" "+")
int3
Alan is not young.
False
11
inv-proof
[(((((((triple2 triple4 triple3) -> rule2) triple1) -> rule5) ((triple2 triple4 triple3) -> rule2)) -> rule3))]
("Alan" "is" "young" "-")
((((((triple2 triple4 triple3) -> (rule2 % int3)) triple1) -> (rule5 % int2)) ((triple2 triple4 triple3) -> (rule2 % int3))) -> (rule3 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
int2
Alan is big.
("Alan" "is" "big" "+")
int3
Bob is not nice.
Unknown
inv-rconc
[@1: Bob is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "nice" "-")
Fred is big.
Unknown
rconc
[@1: Fred is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fred" "is" "big" "+")
Fred is not nice.
Unknown
inv-rconc
[@1: Fred is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fred" "is" "nice" "-")
Fred is blue.
Unknown
rconc
[@1: Fred is blue.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Fred" "is" "blue" "+")
Eric is not cold.
Unknown
inv-random
[@0: Eric is cold.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "cold" "-")
Fred is kind.
Unknown
random
[@0: Fred is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "kind" "+")
Bob is not red.
Unknown
inv-random
[@0: Bob is red.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "red" "-")
Fred is round.
Unknown
random
[@0: Fred is round.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "round" "+")
@0: Alan is cold.[(triple5)] Alan is green.[(triple4)] Alan is nice.[(triple3)] Alan is red.[(triple2)] Alan is round.[(triple1)] Eric is nice.[(triple8)] Eric is round.[(triple7)] Eric is young.[(triple6)] @1: Alan is big.[(((triple2 triple4 triple3) -> rule2))] Alan is blue.[(((triple1 triple4) -> rule4) OR ((triple5 ((((triple2 triple4 triple3) -> rule2) triple1) -> rule5) triple3) -> rule6))] @2: Alan is rough.[(((((triple2 triple4 triple3) -> rule2) triple1) -> rule5))] @3: Alan is young.[(((((((triple2 triple4 triple3) -> rule2) triple1) -> rule5) ((triple2 triple4 triple3) -> rule2)) -> rule3))]
Alan is cold.
("Alan" "is" "cold" "+")
triple5
Alan is green.
("Alan" "is" "green" "+")
triple4
Alan is nice.
("Alan" "is" "nice" "+")
triple3
Alan is red.
("Alan" "is" "red" "+")
triple2
Alan is round.
("Alan" "is" "round" "+")
triple1
Eric is nice.
("Eric" "is" "nice" "+")
triple8
Eric is round.
("Eric" "is" "round" "+")
triple7
Eric is young.
("Eric" "is" "young" "+")
triple6
Alan is big.
("Alan" "is" "big" "+")
((triple2 triple4 triple3) -> (rule2 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
((triple1 triple4) -> (rule4 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
((triple5 ((((triple2 triple4 triple3) -> (rule2 % int3)) triple1) -> (rule5 % int2)) triple3) -> (rule6 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
int2
Alan is big.
("Alan" "is" "big" "+")
int3
Alan is rough.
("Alan" "is" "rough" "+")
((((triple2 triple4 triple3) -> (rule2 % int2)) triple1) -> (rule5 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is big.
("Alan" "is" "big" "+")
int2
Alan is young.
("Alan" "is" "young" "+")
((((((triple2 triple4 triple3) -> (rule2 % int3)) triple1) -> (rule5 % int2)) ((triple2 triple4 triple3) -> (rule2 % int3))) -> (rule3 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
int2
Alan is big.
("Alan" "is" "big" "+")
int3
Being new to the job, Alan is nice and green; Even though he is round he is red and cold out in the wind.
My friend Eric is very young; People say he is nice for having a round shape.
Big people who kind even when look green are often always considered nice.
A quite nice person who is red and green is also big.
A person with big hair and rough lips is certainly young and jaded.
Round green people usually feel blue.
If a person is quite big and also round then they are certainly rough too.
Someone who tends to be icy cold and rough but secretly nice are generally very blue.