Alan is very cold but acts in a kind way to everyone despite being totally green here when he wears his red jacket. Although Bob is young and nice, he is as cold as ice. Dave is both young and fairly round in size. Gary is a nice and red, but very kind person as soon as you meet him. A green person who is cold and round is also big. You can tell if someone is big, kind, and young, then they are also nice. If someone is kind to others and cold to others as well as being red faced then you'll find that they often have a round body. You will notice that a rough, nice, red individual will be young. People that are green tend to be young. John is round and rough, meaning that he is someone that is seen as green. They found the ones that were round, blue, and green to be nice.
Alan is red.
("Alan" "is" "red" "+")
Alan is kind.
("Alan" "is" "kind" "+")
Alan is green.
("Alan" "is" "green" "+")
Alan is cold.
("Alan" "is" "cold" "+")
Bob is young.
("Bob" "is" "young" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Dave is young.
("Dave" "is" "young" "+")
Dave is round.
("Dave" "is" "round" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is kind.
("Gary" "is" "kind" "+")
If someone is cold and round and green then they are big.
((("someone" "is" "cold" "+") ("someone" "is" "round" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
If someone is big and kind and young then they are nice.
((("someone" "is" "big" "+") ("someone" "is" "kind" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "nice" "+"))
If someone is kind and cold and red then they are round.
((("someone" "is" "kind" "+") ("someone" "is" "cold" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "round" "+"))
If someone is rough and red and nice then they are young.
((("someone" "is" "rough" "+") ("someone" "is" "red" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "young" "+"))
If someone is green then they are young.
((("someone" "is" "green" "+")) -> ("someone" "is" "young" "+"))
If someone is round and rough then they are green.
((("someone" "is" "round" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
If someone is round and blue and green then they are nice.
((("someone" "is" "round" "+") ("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
Gary is red.
True
1
proof
[(triple10)]
("Gary" "is" "red" "+")
triple10
Gary is not red.
False
1
inv-proof
[(triple10)]
("Gary" "is" "red" "-")
triple10
Alan is young.
True
2
proof
[(((triple3) -> rule5))]
("Alan" "is" "young" "+")
((triple3) -> (rule5 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is not young.
False
2
inv-proof
[(((triple3) -> rule5))]
("Alan" "is" "young" "-")
((triple3) -> (rule5 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is big.
True
7
proof
[(((triple4 ((triple2 triple4 triple1) -> rule3) triple3) -> rule1))]
("Alan" "is" "big" "+")
((triple4 ((triple2 triple4 triple1) -> (rule3 % int2)) triple3) -> (rule1 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
int2
Alan is not big.
False
7
inv-proof
[(((triple4 ((triple2 triple4 triple1) -> rule3) triple3) -> rule1))]
("Alan" "is" "big" "-")
((triple4 ((triple2 triple4 triple1) -> (rule3 % int2)) triple3) -> (rule1 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
int2
Alan is nice.
True
11
proof
[(((((triple4 ((triple2 triple4 triple1) -> rule3) triple3) -> rule1) triple2 ((triple3) -> rule5)) -> rule2))]
("Alan" "is" "nice" "+")
((((triple4 ((triple2 triple4 triple1) -> (rule3 % int4)) triple3) -> (rule1 % int3)) triple2 ((triple3) -> (rule5 % int2))) -> (rule2 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is big.
("Alan" "is" "big" "+")
int3
Alan is round.
("Alan" "is" "round" "+")
int4
Alan is not nice.
False
11
inv-proof
[(((((triple4 ((triple2 triple4 triple1) -> rule3) triple3) -> rule1) triple2 ((triple3) -> rule5)) -> rule2))]
("Alan" "is" "nice" "-")
((((triple4 ((triple2 triple4 triple1) -> (rule3 % int4)) triple3) -> (rule1 % int3)) triple2 ((triple3) -> (rule5 % int2))) -> (rule2 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is big.
("Alan" "is" "big" "+")
int3
Alan is round.
("Alan" "is" "round" "+")
int4
Gary is not round.
Unknown
inv-rconc
[@1: Gary is round.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Gary" "is" "round" "-")
Gary is green.
Unknown
rconc
[@1: Gary is green.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Gary" "is" "green" "+")
Bob is not big.
Unknown
inv-rconc
[@2: Bob is big.[CWA. Example of deepest failure = (rule1 <- rule3 <- FAIL)]]
("Bob" "is" "big" "-")
Bob is round.
Unknown
rconc
[@1: Bob is round.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Bob" "is" "round" "+")
Dave is not blue.
Unknown
inv-random
[@0: Dave is blue.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "blue" "-")
Dave is red.
Unknown
random
[@0: Dave is red.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "red" "+")
Dave is not rough.
Unknown
inv-random
[@0: Dave is rough.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "rough" "-")
Alan is rough.
Unknown
random
[@0: Alan is rough.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "rough" "+")
@0: Alan is cold.[(triple4)] Alan is green.[(triple3)] Alan is kind.[(triple2)] Alan is red.[(triple1)] Bob is cold.[(triple7)] Bob is nice.[(triple6)] Bob is young.[(triple5)] Dave is round.[(triple9)] Dave is young.[(triple8)] Gary is kind.[(triple12)] Gary is nice.[(triple11)] Gary is red.[(triple10)] @1: Alan is round.[(((triple2 triple4 triple1) -> rule3))] Alan is young.[(((triple3) -> rule5))] @2: Alan is big.[(((triple4 ((triple2 triple4 triple1) -> rule3) triple3) -> rule1))] @3: Alan is nice.[(((((triple4 ((triple2 triple4 triple1) -> rule3) triple3) -> rule1) triple2 ((triple3) -> rule5)) -> rule2))]
Alan is cold.
("Alan" "is" "cold" "+")
triple4
Alan is green.
("Alan" "is" "green" "+")
triple3
Alan is kind.
("Alan" "is" "kind" "+")
triple2
Alan is red.
("Alan" "is" "red" "+")
triple1
Bob is cold.
("Bob" "is" "cold" "+")
triple7
Bob is nice.
("Bob" "is" "nice" "+")
triple6
Bob is young.
("Bob" "is" "young" "+")
triple5
Dave is round.
("Dave" "is" "round" "+")
triple9
Dave is young.
("Dave" "is" "young" "+")
triple8
Gary is kind.
("Gary" "is" "kind" "+")
triple12
Gary is nice.
("Gary" "is" "nice" "+")
triple11
Gary is red.
("Gary" "is" "red" "+")
triple10
Alan is round.
("Alan" "is" "round" "+")
((triple2 triple4 triple1) -> (rule3 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
((triple3) -> (rule5 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is big.
("Alan" "is" "big" "+")
((triple4 ((triple2 triple4 triple1) -> (rule3 % int2)) triple3) -> (rule1 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
int2
Alan is nice.
("Alan" "is" "nice" "+")
((((triple4 ((triple2 triple4 triple1) -> (rule3 % int4)) triple3) -> (rule1 % int3)) triple2 ((triple3) -> (rule5 % int2))) -> (rule2 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is big.
("Alan" "is" "big" "+")
int3
Alan is round.
("Alan" "is" "round" "+")
int4
Alan is very cold but acts in a kind way to everyone despite being totally green here when he wears his red jacket.
Although Bob is young and nice, he is as cold as ice.
Dave is both young and fairly round in size.
Gary is a nice and red, but very kind person as soon as you meet him.
A green person who is cold and round is also big.
You can tell if someone is big, kind, and young, then they are also nice.
If someone is kind to others and cold to others as well as being red faced then you'll find that they often have a round body.
You will notice that a rough, nice, red individual will be young.
People that are green tend to be young.
John is round and rough, meaning that he is someone that is seen as green.
They found the ones that were round, blue, and green to be nice.