Alan is very nice to people, but he's also rather big. Bob is green, which is a possible explanation for why he is so nice. Fred is too round for someone so young. Also, he is sometimes red and sometimes green. Gary is young and round, he is also green. A nice and colored blue person will be rather big. It is true that anyone who is cold while being young and nice is secretly a kind person. A round shaped and red person is definitely nice. John is round and rough, meaning that he is someone that is seen as green. When a round individual is nice to others, they are also feeling blue.
Alan is nice.
("Alan" "is" "nice" "+")
Alan is big.
("Alan" "is" "big" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is green.
("Bob" "is" "green" "+")
Fred is young.
("Fred" "is" "young" "+")
Fred is round.
("Fred" "is" "round" "+")
Fred is red.
("Fred" "is" "red" "+")
Fred is green.
("Fred" "is" "green" "+")
Gary is young.
("Gary" "is" "young" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is green.
("Gary" "is" "green" "+")
If someone is blue and nice then they are big.
((("someone" "is" "blue" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "big" "+"))
If someone is nice and cold and young then they are kind.
((("someone" "is" "nice" "+") ("someone" "is" "cold" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
If someone is round and red then they are nice.
((("someone" "is" "round" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "nice" "+"))
If someone is round and rough then they are green.
((("someone" "is" "round" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
If someone is round and nice then they are blue.
((("someone" "is" "round" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "blue" "+"))
Gary is round.
True
1
proof
[(triple10)]
("Gary" "is" "round" "+")
triple10
Gary is not round.
False
1
inv-proof
[(triple10)]
("Gary" "is" "round" "-")
triple10
Fred is nice.
True
3
proof
[(((triple6 triple7) -> rule3))]
("Fred" "is" "nice" "+")
((triple6 triple7) -> (rule3 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is not nice.
False
3
inv-proof
[(((triple6 triple7) -> rule3))]
("Fred" "is" "nice" "-")
((triple6 triple7) -> (rule3 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is blue.
True
5
proof
[(((triple6 ((triple6 triple7) -> rule3)) -> rule5))]
("Fred" "is" "blue" "+")
((triple6 ((triple6 triple7) -> (rule3 % int2))) -> (rule5 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Fred is not blue.
False
5
inv-proof
[(((triple6 ((triple6 triple7) -> rule3)) -> rule5))]
("Fred" "is" "blue" "-")
((triple6 ((triple6 triple7) -> (rule3 % int2))) -> (rule5 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Fred is big.
True
9
proof
[(((((triple6 ((triple6 triple7) -> rule3)) -> rule5) ((triple6 triple7) -> rule3)) -> rule1))]
("Fred" "is" "big" "+")
((((triple6 ((triple6 triple7) -> (rule3 % int3))) -> (rule5 % int2)) ((triple6 triple7) -> (rule3 % int3))) -> (rule1 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
int3
Fred is not big.
False
9
inv-proof
[(((((triple6 ((triple6 triple7) -> rule3)) -> rule5) ((triple6 triple7) -> rule3)) -> rule1))]
("Fred" "is" "big" "-")
((((triple6 ((triple6 triple7) -> (rule3 % int3))) -> (rule5 % int2)) ((triple6 triple7) -> (rule3 % int3))) -> (rule1 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
int3
Alan is not blue.
Unknown
inv-rconc
[@1: Alan is blue.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Alan" "is" "blue" "-")
Bob is blue.
Unknown
rconc
[@1: Bob is blue.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Bob" "is" "blue" "+")
Gary is not kind.
Unknown
inv-rconc
[@1: Gary is kind.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "kind" "-")
Gary is big.
Unknown
rconc
[@2: Gary is big.[CWA. Example of deepest failure = (rule1 <- rule3 <- FAIL)]]
("Gary" "is" "big" "+")
Gary is not rough.
Unknown
inv-random
[@0: Gary is rough.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "rough" "-")
Alan is round.
Unknown
random
[@0: Alan is round.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "round" "+")
Alan is not cold.
Unknown
inv-random
[@0: Alan is cold.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "cold" "-")
Bob is rough.
Unknown
random
[@0: Bob is rough.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "rough" "+")
@0: Alan is big.[(triple2)] Alan is nice.[(triple1)] Bob is green.[(triple4)] Bob is nice.[(triple3)] Fred is green.[(triple8)] Fred is red.[(triple7)] Fred is round.[(triple6)] Fred is young.[(triple5)] Gary is green.[(triple11)] Gary is round.[(triple10)] Gary is young.[(triple9)] @1: Fred is nice.[(((triple6 triple7) -> rule3))] @2: Fred is blue.[(((triple6 ((triple6 triple7) -> rule3)) -> rule5))] @3: Fred is big.[(((((triple6 ((triple6 triple7) -> rule3)) -> rule5) ((triple6 triple7) -> rule3)) -> rule1))]
Alan is big.
("Alan" "is" "big" "+")
triple2
Alan is nice.
("Alan" "is" "nice" "+")
triple1
Bob is green.
("Bob" "is" "green" "+")
triple4
Bob is nice.
("Bob" "is" "nice" "+")
triple3
Fred is green.
("Fred" "is" "green" "+")
triple8
Fred is red.
("Fred" "is" "red" "+")
triple7
Fred is round.
("Fred" "is" "round" "+")
triple6
Fred is young.
("Fred" "is" "young" "+")
triple5
Gary is green.
("Gary" "is" "green" "+")
triple11
Gary is round.
("Gary" "is" "round" "+")
triple10
Gary is young.
("Gary" "is" "young" "+")
triple9
Fred is nice.
("Fred" "is" "nice" "+")
((triple6 triple7) -> (rule3 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
((triple6 ((triple6 triple7) -> (rule3 % int2))) -> (rule5 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Fred is big.
("Fred" "is" "big" "+")
((((triple6 ((triple6 triple7) -> (rule3 % int3))) -> (rule5 % int2)) ((triple6 triple7) -> (rule3 % int3))) -> (rule1 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
int3
Alan is very nice to people, but he's also rather big.
Bob is green, which is a possible explanation for why he is so nice.
Fred is too round for someone so young; Also, he is sometimes red and sometimes green.
Gary is young and round, he is also green.
A nice and colored blue person will be rather big.
It is true that anyone who is cold while being young and nice is secretly a kind person.
A round shaped and red person is definitely nice.
John is round and rough, meaning that he is someone that is seen as green.
When a round individual is nice to others, they are also feeling blue.