Rough Alan can be nice and kind looking green. My friend Bob is very young. People say he is nice for having a round shape. Even though he's a big dude, Fred is cold. You'll always find a young, kind and red person to be a cold person, too. If the description of nice and green applies to somebody, the description of young will, too. Nice and kind people tend to live green lifestyle and arent very rough. Young and rough green people, have no choice but to be red. Nice people who are big in stature often look rough. People who are considered rough, blue, and nice, are also green.
Alan is rough.
("Alan" "is" "rough" "+")
Alan is nice.
("Alan" "is" "nice" "+")
Alan is kind.
("Alan" "is" "kind" "+")
Alan is green.
("Alan" "is" "green" "+")
Bob is young.
("Bob" "is" "young" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Fred is cold.
("Fred" "is" "cold" "+")
Fred is big.
("Fred" "is" "big" "+")
If someone is kind and young and red then they are cold.
((("someone" "is" "kind" "+") ("someone" "is" "young" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
If someone is green and nice then they are young.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "young" "+"))
If someone is nice and kind and green then they are rough.
((("someone" "is" "nice" "+") ("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "rough" "+"))
If someone is young and rough and green then they are red.
((("someone" "is" "young" "+") ("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "red" "+"))
If someone is nice and big then they are rough.
((("someone" "is" "nice" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "rough" "+"))
If someone is rough and blue and nice then they are green.
((("someone" "is" "rough" "+") ("someone" "is" "blue" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "green" "+"))
Bob is young.
True
1
proof
[(triple5)]
("Bob" "is" "young" "+")
triple5
Alan is not green.
False
1
inv-proof
[(triple4)]
("Alan" "is" "green" "-")
triple4
Alan is young.
True
3
proof
[(((triple4 triple2) -> rule2))]
("Alan" "is" "young" "+")
((triple4 triple2) -> (rule2 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is not young.
False
3
inv-proof
[(((triple4 triple2) -> rule2))]
("Alan" "is" "young" "-")
((triple4 triple2) -> (rule2 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is red.
True
6
proof
[(((((triple4 triple2) -> rule2) triple1 triple4) -> rule4) OR ((((triple4 triple2) -> rule2) ((triple2 triple3 triple4) -> rule3) triple4) -> rule4))]
("Alan" "is" "red" "+")
((((triple4 triple2) -> (rule2 % int2)) triple1 triple4) -> (rule4 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
((((triple4 triple2) -> (rule2 % int3)) ((triple2 triple3 triple4) -> (rule3 % int2)) triple4) -> (rule4 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
int2
Alan is young.
("Alan" "is" "young" "+")
int3
Alan is not red.
False
6
inv-proof
[(((((triple4 triple2) -> rule2) triple1 triple4) -> rule4) OR ((((triple4 triple2) -> rule2) ((triple2 triple3 triple4) -> rule3) triple4) -> rule4))]
("Alan" "is" "red" "-")
((((triple4 triple2) -> (rule2 % int2)) triple1 triple4) -> (rule4 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
((((triple4 triple2) -> (rule2 % int3)) ((triple2 triple3 triple4) -> (rule3 % int2)) triple4) -> (rule4 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
int2
Alan is young.
("Alan" "is" "young" "+")
int3
Alan is cold.
True
11
proof
[(((triple3 ((triple4 triple2) -> rule2) ((((triple4 triple2) -> rule2) triple1 triple4) -> rule4)) -> rule1) OR ((triple3 ((triple4 triple2) -> rule2) ((((triple4 triple2) -> rule2) ((triple2 triple3 triple4) -> rule3) triple4) -> rule4)) -> rule1))]
("Alan" "is" "cold" "+")
((triple3 ((triple4 triple2) -> (rule2 % int3)) ((((triple4 triple2) -> (rule2 % int3)) triple1 triple4) -> (rule4 % int2))) -> (rule1 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is young.
("Alan" "is" "young" "+")
int3
((triple3 ((triple4 triple2) -> (rule2 % int4)) ((((triple4 triple2) -> (rule2 % int4)) ((triple2 triple3 triple4) -> (rule3 % int3)) triple4) -> (rule4 % int2))) -> (rule1 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is rough.
("Alan" "is" "rough" "+")
int3
Alan is young.
("Alan" "is" "young" "+")
int4
Alan is not cold.
False
11
inv-proof
[(((triple3 ((triple4 triple2) -> rule2) ((((triple4 triple2) -> rule2) triple1 triple4) -> rule4)) -> rule1) OR ((triple3 ((triple4 triple2) -> rule2) ((((triple4 triple2) -> rule2) ((triple2 triple3 triple4) -> rule3) triple4) -> rule4)) -> rule1))]
("Alan" "is" "cold" "-")
((triple3 ((triple4 triple2) -> (rule2 % int3)) ((((triple4 triple2) -> (rule2 % int3)) triple1 triple4) -> (rule4 % int2))) -> (rule1 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is young.
("Alan" "is" "young" "+")
int3
((triple3 ((triple4 triple2) -> (rule2 % int4)) ((((triple4 triple2) -> (rule2 % int4)) ((triple2 triple3 triple4) -> (rule3 % int3)) triple4) -> (rule4 % int2))) -> (rule1 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is rough.
("Alan" "is" "rough" "+")
int3
Alan is young.
("Alan" "is" "young" "+")
int4
Dave is not green.
Unknown
inv-rconc
[@1: Dave is green.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Dave" "is" "green" "-")
Fred is red.
Unknown
rconc
[@2: Fred is red.[CWA. Example of deepest failure = (rule4 <- rule2 <- FAIL)]]
("Fred" "is" "red" "+")
Fred is not young.
Unknown
inv-rconc
[@1: Fred is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fred" "is" "young" "-")
Bob is green.
Unknown
rconc
[@1: Bob is green.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Bob" "is" "green" "+")
Fred is not nice.
Unknown
inv-random
[@0: Fred is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "nice" "-")
Bob is blue.
Unknown
random
[@0: Bob is blue.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "blue" "+")
Bob is not big.
Unknown
inv-random
[@0: Bob is big.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "big" "-")
Fred is blue.
Unknown
random
[@0: Fred is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "blue" "+")
@0: Alan is green.[(triple4)] Alan is kind.[(triple3)] Alan is nice.[(triple2)] Alan is rough.[(triple1 OR ((triple2 triple3 triple4) -> rule3))] Bob is nice.[(triple7)] Bob is round.[(triple6)] Bob is young.[(triple5)] Fred is big.[(triple9)] Fred is cold.[(triple8)] @1: Alan is young.[(((triple4 triple2) -> rule2))] @2: Alan is red.[(((((triple4 triple2) -> rule2) triple1 triple4) -> rule4) OR ((((triple4 triple2) -> rule2) ((triple2 triple3 triple4) -> rule3) triple4) -> rule4))] @3: Alan is cold.[(((triple3 ((triple4 triple2) -> rule2) ((((triple4 triple2) -> rule2) triple1 triple4) -> rule4)) -> rule1) OR ((triple3 ((triple4 triple2) -> rule2) ((((triple4 triple2) -> rule2) ((triple2 triple3 triple4) -> rule3) triple4) -> rule4)) -> rule1))]
Alan is green.
("Alan" "is" "green" "+")
triple4
Alan is kind.
("Alan" "is" "kind" "+")
triple3
Alan is nice.
("Alan" "is" "nice" "+")
triple2
Alan is rough.
("Alan" "is" "rough" "+")
triple1
((triple2 triple3 triple4) -> (rule3 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
triple7
Bob is round.
("Bob" "is" "round" "+")
triple6
Bob is young.
("Bob" "is" "young" "+")
triple5
Fred is big.
("Fred" "is" "big" "+")
triple9
Fred is cold.
("Fred" "is" "cold" "+")
triple8
Alan is young.
("Alan" "is" "young" "+")
((triple4 triple2) -> (rule2 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
((((triple4 triple2) -> (rule2 % int2)) triple1 triple4) -> (rule4 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
((((triple4 triple2) -> (rule2 % int3)) ((triple2 triple3 triple4) -> (rule3 % int2)) triple4) -> (rule4 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
int2
Alan is young.
("Alan" "is" "young" "+")
int3
Alan is cold.
("Alan" "is" "cold" "+")
((triple3 ((triple4 triple2) -> (rule2 % int3)) ((((triple4 triple2) -> (rule2 % int3)) triple1 triple4) -> (rule4 % int2))) -> (rule1 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is young.
("Alan" "is" "young" "+")
int3
((triple3 ((triple4 triple2) -> (rule2 % int4)) ((((triple4 triple2) -> (rule2 % int4)) ((triple2 triple3 triple4) -> (rule3 % int3)) triple4) -> (rule4 % int2))) -> (rule1 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is rough.
("Alan" "is" "rough" "+")
int3
Alan is young.
("Alan" "is" "young" "+")
int4
Rough Alan can be nice and kind looking green.
My friend Bob is very young; People say he is nice for having a round shape.
Even though he's a big dude, Fred is cold.
You'll always find a young, kind and red person to be a cold person, too.
If the description of nice and green applies to somebody, the description of young will, too.
Nice and kind people tend to live green lifestyle and arent very rough.
Young and rough green people, have no choice but to be red.
Nice people who are big in stature often look rough.
People who are considered rough, blue, and nice, are also green.