Alan vowed to always be rough, cold, blue, and big as possible. Eric ate some rotten meat and now feels green. Even though he's young and green, Fred is rough. Their actions reflected how young and kind but green they were making things seem blue. A nice person with rough skin is red. Young and nice people have great big smiles. A person who is cold but red, and big in size is young for sure. A big person that is tattooed blue will be very nice. Young people that are red for any reason, may also act in a rough manner, but don't be surprised if they are ultimately blue.
Alan is rough.
("Alan" "is" "rough" "+")
Alan is cold.
("Alan" "is" "cold" "+")
Alan is blue.
("Alan" "is" "blue" "+")
Alan is big.
("Alan" "is" "big" "+")
Eric is green.
("Eric" "is" "green" "+")
Fred is young.
("Fred" "is" "young" "+")
Fred is rough.
("Fred" "is" "rough" "+")
Fred is green.
("Fred" "is" "green" "+")
If someone is young and kind and green then they are blue.
((("someone" "is" "young" "+") ("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "blue" "+"))
If someone is rough and nice then they are red.
((("someone" "is" "rough" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "red" "+"))
If someone is young and nice then they are big.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "big" "+"))
If someone is red and big and cold then they are young.
((("someone" "is" "red" "+") ("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
If someone is big and blue then they are nice.
((("someone" "is" "big" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "nice" "+"))
If someone is red and young and rough then they are blue.
((("someone" "is" "red" "+") ("someone" "is" "young" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "+"))
Alan is big.
True
1
proof
[(triple4)]
("Alan" "is" "big" "+")
triple4
Fred is not rough.
False
1
inv-proof
[(triple7)]
("Fred" "is" "rough" "-")
triple7
Alan is nice.
True
3
proof
[(((triple4 triple3) -> rule5))]
("Alan" "is" "nice" "+")
((triple4 triple3) -> (rule5 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is not nice.
False
3
inv-proof
[(((triple4 triple3) -> rule5))]
("Alan" "is" "nice" "-")
((triple4 triple3) -> (rule5 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is red.
True
5
proof
[(((triple1 ((triple4 triple3) -> rule5)) -> rule2))]
("Alan" "is" "red" "+")
((triple1 ((triple4 triple3) -> (rule5 % int2))) -> (rule2 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is not red.
False
5
inv-proof
[(((triple1 ((triple4 triple3) -> rule5)) -> rule2))]
("Alan" "is" "red" "-")
((triple1 ((triple4 triple3) -> (rule5 % int2))) -> (rule2 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is young.
True
8
proof
[(((((triple1 ((triple4 triple3) -> rule5)) -> rule2) triple4 triple2) -> rule4))]
("Alan" "is" "young" "+")
((((triple1 ((triple4 triple3) -> (rule5 % int3))) -> (rule2 % int2)) triple4 triple2) -> (rule4 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is nice.
("Alan" "is" "nice" "+")
int3
Alan is not young.
False
8
inv-proof
[(((((triple1 ((triple4 triple3) -> rule5)) -> rule2) triple4 triple2) -> rule4))]
("Alan" "is" "young" "-")
((((triple1 ((triple4 triple3) -> (rule5 % int3))) -> (rule2 % int2)) triple4 triple2) -> (rule4 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is nice.
("Alan" "is" "nice" "+")
int3
Gary is not nice.
Unknown
inv-rconc
[@2: Gary is nice.[CWA. Example of deepest failure = (rule5 <- rule3 <- FAIL)]]
("Gary" "is" "nice" "-")
Gary is red.
Unknown
rconc
[@1: Gary is red.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "red" "+")
Fred is not big.
Unknown
inv-rconc
[@2: Fred is big.[CWA. Example of deepest failure = (rule3 <- rule5 <- FAIL)]]
("Fred" "is" "big" "-")
Fred is red.
Unknown
rconc
[@3: Fred is red.[CWA. Example of deepest failure = (rule2 <- rule5 <- rule3 <- FAIL)]]
("Fred" "is" "red" "+")
Alan is not round.
Unknown
inv-random
[@0: Alan is round.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "round" "-")
Gary is kind.
Unknown
random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "+")
Eric is not kind.
Unknown
inv-random
[@0: Eric is kind.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "kind" "-")
Fred is round.
Unknown
random
[@0: Fred is round.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "round" "+")
@0: Alan is big.[(triple4)] Alan is blue.[(triple3)] Alan is cold.[(triple2)] Alan is rough.[(triple1)] Eric is green.[(triple5)] Fred is green.[(triple8)] Fred is rough.[(triple7)] Fred is young.[(triple6)] @1: Alan is nice.[(((triple4 triple3) -> rule5))] @2: Alan is red.[(((triple1 ((triple4 triple3) -> rule5)) -> rule2))] @3: Alan is young.[(((((triple1 ((triple4 triple3) -> rule5)) -> rule2) triple4 triple2) -> rule4))]
Alan is big.
("Alan" "is" "big" "+")
triple4
Alan is blue.
("Alan" "is" "blue" "+")
triple3
Alan is cold.
("Alan" "is" "cold" "+")
triple2
Alan is rough.
("Alan" "is" "rough" "+")
triple1
Eric is green.
("Eric" "is" "green" "+")
triple5
Fred is green.
("Fred" "is" "green" "+")
triple8
Fred is rough.
("Fred" "is" "rough" "+")
triple7
Fred is young.
("Fred" "is" "young" "+")
triple6
Alan is nice.
("Alan" "is" "nice" "+")
((triple4 triple3) -> (rule5 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
((triple1 ((triple4 triple3) -> (rule5 % int2))) -> (rule2 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is young.
("Alan" "is" "young" "+")
((((triple1 ((triple4 triple3) -> (rule5 % int3))) -> (rule2 % int2)) triple4 triple2) -> (rule4 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is nice.
("Alan" "is" "nice" "+")
int3
Alan vowed to always be rough, cold, blue, and big as possible.
Eric ate some rotten meat and now feels green.
Even though he's young and green, Fred is rough.
Their actions reflected how young and kind but green they were making things seem blue.
A nice person with rough skin is red.
Young and nice people have great big smiles.
A person who is cold but red, and big in size is young for sure.
A big person that is tattooed blue will be very nice.
Young people that are red for any reason, may also act in a rough manner, but don't be surprised if they are ultimately blue.