Alan is round shaped and green colored. The big young man with the round body who seems to be having a rough time due to being green is named Eric. In the snow sits Fred, crying from being cold. Harry is blue and cold. A cold person who is round but rough around the edges is big. Blue Christmas ornaments are also red. Those who are nice but a bit rough around the edges are known for being blue. Watch out for the rough and round kind people for they cold to others. I've noticed that someone with a round shape is also green. Blue people who are big tend to be rough. People that are big but also green, may ultimately be very nice.
Alan is round.
("Alan" "is" "round" "+")
Alan is green.
("Alan" "is" "green" "+")
Eric is young.
("Eric" "is" "young" "+")
Eric is round.
("Eric" "is" "round" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Eric is green.
("Eric" "is" "green" "+")
Eric is big.
("Eric" "is" "big" "+")
Fred is cold.
("Fred" "is" "cold" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is blue.
("Harry" "is" "blue" "+")
If someone is round and cold and rough then they are big.
((("someone" "is" "round" "+") ("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
If someone is blue then they are red.
((("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
If someone is nice and rough then they are blue.
((("someone" "is" "nice" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "+"))
If someone is rough and round and kind then they are cold.
((("someone" "is" "rough" "+") ("someone" "is" "round" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
If someone is round then they are green.
((("someone" "is" "round" "+")) -> ("someone" "is" "green" "+"))
If someone is blue and big then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "rough" "+"))
If someone is big and green then they are nice.
((("someone" "is" "big" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
Eric is round.
True
1
proof
[(triple4)]
("Eric" "is" "round" "+")
triple4
Alan is not green.
False
1
inv-proof
[(triple2 OR ((triple1) -> rule5))]
("Alan" "is" "green" "-")
triple2
((triple1) -> (rule5 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Eric is nice.
True
3
proof
[(((triple7 triple6) -> rule7) OR ((triple7 ((triple4) -> rule5)) -> rule7))]
("Eric" "is" "nice" "+")
((triple7 triple6) -> (rule7 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
((triple7 ((triple4) -> (rule5 % int2))) -> (rule7 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
Harry is not red.
False
2
inv-proof
[(((triple10) -> rule2))]
("Harry" "is" "red" "-")
((triple10) -> (rule2 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Eric is blue.
True
5
proof
[(((((triple7 triple6) -> rule7) triple5) -> rule3) OR ((((triple7 ((triple4) -> rule5)) -> rule7) triple5) -> rule3))]
("Eric" "is" "blue" "+")
((((triple7 triple6) -> (rule7 % int2)) triple5) -> (rule3 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
int2
((((triple7 ((triple4) -> (rule5 % int3))) -> (rule7 % int2)) triple5) -> (rule3 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
int2
Eric is green.
("Eric" "is" "green" "+")
int3
Eric is not blue.
False
5
inv-proof
[(((((triple7 triple6) -> rule7) triple5) -> rule3) OR ((((triple7 ((triple4) -> rule5)) -> rule7) triple5) -> rule3))]
("Eric" "is" "blue" "-")
((((triple7 triple6) -> (rule7 % int2)) triple5) -> (rule3 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
int2
((((triple7 ((triple4) -> (rule5 % int3))) -> (rule7 % int2)) triple5) -> (rule3 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
int2
Eric is green.
("Eric" "is" "green" "+")
int3
Eric is red.
True
6
proof
[(((((((triple7 triple6) -> rule7) triple5) -> rule3)) -> rule2) OR ((((((triple7 ((triple4) -> rule5)) -> rule7) triple5) -> rule3)) -> rule2))]
("Eric" "is" "red" "+")
((((((triple7 triple6) -> (rule7 % int3)) triple5) -> (rule3 % int2))) -> (rule2 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is nice.
("Eric" "is" "nice" "+")
int3
((((((triple7 ((triple4) -> (rule5 % int4))) -> (rule7 % int3)) triple5) -> (rule3 % int2))) -> (rule2 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is nice.
("Eric" "is" "nice" "+")
int3
Eric is green.
("Eric" "is" "green" "+")
int4
Eric is not red.
False
6
inv-proof
[(((((((triple7 triple6) -> rule7) triple5) -> rule3)) -> rule2) OR ((((((triple7 ((triple4) -> rule5)) -> rule7) triple5) -> rule3)) -> rule2))]
("Eric" "is" "red" "-")
((((((triple7 triple6) -> (rule7 % int3)) triple5) -> (rule3 % int2))) -> (rule2 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is nice.
("Eric" "is" "nice" "+")
int3
((((((triple7 ((triple4) -> (rule5 % int4))) -> (rule7 % int3)) triple5) -> (rule3 % int2))) -> (rule2 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is nice.
("Eric" "is" "nice" "+")
int3
Eric is green.
("Eric" "is" "green" "+")
int4
Fred is not blue.
Unknown
inv-rconc
[@2: Fred is blue.[CWA. Example of deepest failure = (rule3 <- rule6 <- FAIL)]]
("Fred" "is" "blue" "-")
Harry is big.
Unknown
rconc
[@1: Harry is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "big" "+")
Harry is not nice.
Unknown
inv-rconc
[@2: Harry is nice.[CWA. Example of deepest failure = (rule7 <- rule1 <- FAIL)]]
("Harry" "is" "nice" "-")
Alan is nice.
Unknown
rconc
[@3: Alan is nice.[CWA. Example of deepest failure = (rule7 <- rule1 <- rule4 <- FAIL)]]
("Alan" "is" "nice" "+")
Harry is not young.
Unknown
inv-random
[@0: Harry is young.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "young" "-")
Harry is round.
Unknown
random
[@0: Harry is round.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "round" "+")
Alan is not young.
Unknown
inv-random
[@0: Alan is young.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "young" "-")
Eric is kind.
Unknown
random
[@0: Eric is kind.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "kind" "+")
@0: Alan is green.[(triple2 OR ((triple1) -> rule5))] Alan is round.[(triple1)] Eric is big.[(triple7)] Eric is green.[(triple6 OR ((triple4) -> rule5))] Eric is rough.[(triple5)] Eric is round.[(triple4)] Eric is young.[(triple3)] Fred is cold.[(triple8)] Harry is blue.[(triple10)] Harry is cold.[(triple9)] @1: Eric is nice.[(((triple7 triple6) -> rule7) OR ((triple7 ((triple4) -> rule5)) -> rule7))] Harry is red.[(((triple10) -> rule2))] @2: Eric is blue.[(((((triple7 triple6) -> rule7) triple5) -> rule3) OR ((((triple7 ((triple4) -> rule5)) -> rule7) triple5) -> rule3))] @3: Eric is red.[(((((((triple7 triple6) -> rule7) triple5) -> rule3)) -> rule2) OR ((((((triple7 ((triple4) -> rule5)) -> rule7) triple5) -> rule3)) -> rule2))]
Alan is green.
("Alan" "is" "green" "+")
triple2
((triple1) -> (rule5 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
triple1
Eric is big.
("Eric" "is" "big" "+")
triple7
Eric is green.
("Eric" "is" "green" "+")
triple6
((triple4) -> (rule5 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
triple5
Eric is round.
("Eric" "is" "round" "+")
triple4
Eric is young.
("Eric" "is" "young" "+")
triple3
Fred is cold.
("Fred" "is" "cold" "+")
triple8
Harry is blue.
("Harry" "is" "blue" "+")
triple10
Harry is cold.
("Harry" "is" "cold" "+")
triple9
Eric is nice.
("Eric" "is" "nice" "+")
((triple7 triple6) -> (rule7 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
((triple7 ((triple4) -> (rule5 % int2))) -> (rule7 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
((triple10) -> (rule2 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
((((triple7 triple6) -> (rule7 % int2)) triple5) -> (rule3 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
int2
((((triple7 ((triple4) -> (rule5 % int3))) -> (rule7 % int2)) triple5) -> (rule3 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
int2
Eric is green.
("Eric" "is" "green" "+")
int3
Eric is red.
("Eric" "is" "red" "+")
((((((triple7 triple6) -> (rule7 % int3)) triple5) -> (rule3 % int2))) -> (rule2 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is nice.
("Eric" "is" "nice" "+")
int3
((((((triple7 ((triple4) -> (rule5 % int4))) -> (rule7 % int3)) triple5) -> (rule3 % int2))) -> (rule2 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is nice.
("Eric" "is" "nice" "+")
int3
Eric is green.
("Eric" "is" "green" "+")
int4
Alan is round shaped and green colored.
The big young man with the round body who seems to be having a rough time due to being green is named Eric.
In the snow sits Fred, crying from being cold.
Harry is blue and cold.
A cold person who is round but rough around the edges is big.
Blue Christmas ornaments are also red.
Those who are nice but a bit rough around the edges are known for being blue.
Watch out for the rough and round kind people for they cold to others.
I've noticed that someone with a round shape is also green.
Blue people who are big tend to be rough.
People that are big but also green, may ultimately be very nice.