Upon meeting Alan, you'll notice he's green and kind. Eric is young and rough and comes across as cold, but he is just young and green. Really, he is as nice and kind as you could want. This Gary guy is red. He is also kind and yet cold. Harry always goes out of his way to show that he is kind to people. Green and blue people have a habit of being cold, which makes them red too. Red, kind, young people will be rough people, too. A rough person that is cold towards others is green. Green people here that are also round and nice are always rough. Most big and kind people,though young,are often blue. If you run into a cold and kind person, they are always big.
Alan is kind.
("Alan" "is" "kind" "+")
Alan is green.
("Alan" "is" "green" "+")
Eric is young.
("Eric" "is" "young" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Eric is nice.
("Eric" "is" "nice" "+")
Eric is kind.
("Eric" "is" "kind" "+")
Eric is green.
("Eric" "is" "green" "+")
Eric is cold.
("Eric" "is" "cold" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Harry is kind.
("Harry" "is" "kind" "+")
If someone is green and blue and cold then they are red.
((("someone" "is" "green" "+") ("someone" "is" "blue" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
If someone is young and kind and red then they are rough.
((("someone" "is" "young" "+") ("someone" "is" "kind" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "rough" "+"))
If someone is rough and cold then they are green.
((("someone" "is" "rough" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
If someone is nice and round and green then they are rough.
((("someone" "is" "nice" "+") ("someone" "is" "round" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "rough" "+"))
If someone is big and kind and young then they are blue.
((("someone" "is" "big" "+") ("someone" "is" "kind" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "blue" "+"))
If someone is cold and kind then they are big.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
Eric is rough.
True
1
proof
[(triple4 OR ((triple3 triple6 ((triple7 ((((triple8 triple6) -> rule6) triple6 triple3) -> rule5) triple8) -> rule1)) -> rule2))]
("Eric" "is" "rough" "+")
triple4
((triple3 triple6 ((triple7 ((((triple8 triple6) -> (rule6 % int4)) triple6 triple3) -> (rule5 % int3)) triple8) -> (rule1 % int2))) -> (rule2 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
Eric is blue.
("Eric" "is" "blue" "+")
int3
Eric is big.
("Eric" "is" "big" "+")
int4
Eric is not green.
False
1
inv-proof
[(triple7 OR ((triple4 triple8) -> rule3))]
("Eric" "is" "green" "-")
triple7
((triple4 triple8) -> (rule3 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is big.
True
3
proof
[(((triple8 triple6) -> rule6))]
("Eric" "is" "big" "+")
((triple8 triple6) -> (rule6 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Gary is not big.
False
3
inv-proof
[(((triple11 triple10) -> rule6))]
("Gary" "is" "big" "-")
((triple11 triple10) -> (rule6 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Eric is blue.
True
6
proof
[(((((triple8 triple6) -> rule6) triple6 triple3) -> rule5))]
("Eric" "is" "blue" "+")
((((triple8 triple6) -> (rule6 % int2)) triple6 triple3) -> (rule5 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is not blue.
False
6
inv-proof
[(((((triple8 triple6) -> rule6) triple6 triple3) -> rule5))]
("Eric" "is" "blue" "-")
((((triple8 triple6) -> (rule6 % int2)) triple6 triple3) -> (rule5 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is red.
True
9
proof
[(((triple7 ((((triple8 triple6) -> rule6) triple6 triple3) -> rule5) triple8) -> rule1) OR ((((triple4 triple8) -> rule3) ((((triple8 triple6) -> rule6) triple6 triple3) -> rule5) triple8) -> rule1))]
("Eric" "is" "red" "+")
((triple7 ((((triple8 triple6) -> (rule6 % int3)) triple6 triple3) -> (rule5 % int2)) triple8) -> (rule1 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is big.
("Eric" "is" "big" "+")
int3
((((triple4 triple8) -> (rule3 % int4)) ((((triple8 triple6) -> (rule6 % int3)) triple6 triple3) -> (rule5 % int2)) triple8) -> (rule1 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is big.
("Eric" "is" "big" "+")
int3
Eric is green.
("Eric" "is" "green" "+")
int4
Eric is not red.
False
9
inv-proof
[(((triple7 ((((triple8 triple6) -> rule6) triple6 triple3) -> rule5) triple8) -> rule1) OR ((((triple4 triple8) -> rule3) ((((triple8 triple6) -> rule6) triple6 triple3) -> rule5) triple8) -> rule1))]
("Eric" "is" "red" "-")
((triple7 ((((triple8 triple6) -> (rule6 % int3)) triple6 triple3) -> (rule5 % int2)) triple8) -> (rule1 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is big.
("Eric" "is" "big" "+")
int3
((((triple4 triple8) -> (rule3 % int4)) ((((triple8 triple6) -> (rule6 % int3)) triple6 triple3) -> (rule5 % int2)) triple8) -> (rule1 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is big.
("Eric" "is" "big" "+")
int3
Eric is green.
("Eric" "is" "green" "+")
int4
Alan is not big.
Unknown
inv-rconc
[@1: Alan is big.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Alan" "is" "big" "-")
Harry is rough.
Unknown
rconc
[@1: Harry is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "rough" "+")
Gary is not green.
Unknown
inv-rconc
[@2: Gary is green.[CWA. Example of deepest failure = (rule3 <- rule2 <- FAIL)]]
("Gary" "is" "green" "-")
Harry is blue.
Unknown
rconc
[@1: Harry is blue.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Harry" "is" "blue" "+")
Harry is not cold.
Unknown
inv-random
[@0: Harry is cold.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "cold" "-")
Alan is nice.
Unknown
random
[@0: Alan is nice.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "nice" "+")
Alan is not young.
Unknown
inv-random
[@0: Alan is young.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "young" "-")
Alan is cold.
Unknown
random
[@0: Alan is cold.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "cold" "+")
@0: Alan is green.[(triple2)] Alan is kind.[(triple1)] Eric is cold.[(triple8)] Eric is green.[(triple7 OR ((triple4 triple8) -> rule3))] Eric is kind.[(triple6)] Eric is nice.[(triple5)] Eric is rough.[(triple4 OR ((triple3 triple6 ((triple7 ((((triple8 triple6) -> rule6) triple6 triple3) -> rule5) triple8) -> rule1)) -> rule2))] Eric is young.[(triple3)] Gary is cold.[(triple11)] Gary is kind.[(triple10)] Gary is red.[(triple9)] Harry is kind.[(triple12)] @1: Eric is big.[(((triple8 triple6) -> rule6))] Gary is big.[(((triple11 triple10) -> rule6))] @2: Eric is blue.[(((((triple8 triple6) -> rule6) triple6 triple3) -> rule5))] @3: Eric is red.[(((triple7 ((((triple8 triple6) -> rule6) triple6 triple3) -> rule5) triple8) -> rule1) OR ((((triple4 triple8) -> rule3) ((((triple8 triple6) -> rule6) triple6 triple3) -> rule5) triple8) -> rule1))]
Alan is green.
("Alan" "is" "green" "+")
triple2
Alan is kind.
("Alan" "is" "kind" "+")
triple1
Eric is cold.
("Eric" "is" "cold" "+")
triple8
Eric is green.
("Eric" "is" "green" "+")
triple7
((triple4 triple8) -> (rule3 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
triple6
Eric is nice.
("Eric" "is" "nice" "+")
triple5
Eric is rough.
("Eric" "is" "rough" "+")
triple4
((triple3 triple6 ((triple7 ((((triple8 triple6) -> (rule6 % int4)) triple6 triple3) -> (rule5 % int3)) triple8) -> (rule1 % int2))) -> (rule2 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
Eric is blue.
("Eric" "is" "blue" "+")
int3
Eric is big.
("Eric" "is" "big" "+")
int4
Eric is young.
("Eric" "is" "young" "+")
triple3
Gary is cold.
("Gary" "is" "cold" "+")
triple11
Gary is kind.
("Gary" "is" "kind" "+")
triple10
Gary is red.
("Gary" "is" "red" "+")
triple9
Harry is kind.
("Harry" "is" "kind" "+")
triple12
Eric is big.
("Eric" "is" "big" "+")
((triple8 triple6) -> (rule6 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
((triple11 triple10) -> (rule6 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
((((triple8 triple6) -> (rule6 % int2)) triple6 triple3) -> (rule5 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is red.
("Eric" "is" "red" "+")
((triple7 ((((triple8 triple6) -> (rule6 % int3)) triple6 triple3) -> (rule5 % int2)) triple8) -> (rule1 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is big.
("Eric" "is" "big" "+")
int3
((((triple4 triple8) -> (rule3 % int4)) ((((triple8 triple6) -> (rule6 % int3)) triple6 triple3) -> (rule5 % int2)) triple8) -> (rule1 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is big.
("Eric" "is" "big" "+")
int3
Eric is green.
("Eric" "is" "green" "+")
int4
Upon meeting Alan, you'll notice he's green and kind.
Eric is young and rough and comes across as cold, but he is just young and green; Really, he is as nice and kind as you could want.
This Gary guy is red; He is also kind and yet cold.
Harry always goes out of his way to show that he is kind to people.
Green and blue people have a habit of being cold, which makes them red too.
Red, kind, young people will be rough people, too.
A rough person that is cold towards others is green.
Green people here that are also round and nice are always rough.
Most big and kind people,though young,are often blue.
If you run into a cold and kind person, they are always big.