Alan is round shaped and green colored. Bob fits the description of someone who is rough, red and blue. Charlie is a very rough person. As expected, he's also a very cold and big individual. Gary is a kind and red colored guy. A green and red colored person who is rather nice will definitely be kind. A person that is both green and red tends to be cold as well. It's been proven that red, rough people are green as well. Rough and green people are also nice. When someone is kind and their cheeks flame red with embarrassment I know that they are young. Anybody that fits the nice, kind and big descriptors will also fit the descriptor of cold. Blue, red and nice people are always big, too.
Alan is round.
("Alan" "is" "round" "+")
Alan is green.
("Alan" "is" "green" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is kind.
("Gary" "is" "kind" "+")
If someone is green and nice and red then they are kind.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "kind" "+"))
If someone is green and red then they are cold.
((("someone" "is" "green" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
If someone is red and rough then they are green.
((("someone" "is" "red" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
If someone is rough and green then they are nice.
((("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
If someone is kind and red then they are young.
((("someone" "is" "kind" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "young" "+"))
If someone is big and nice and kind then they are cold.
((("someone" "is" "big" "+") ("someone" "is" "nice" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
If someone is nice and blue and red then they are big.
((("someone" "is" "nice" "+") ("someone" "is" "blue" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "big" "+"))
Gary is kind.
True
1
proof
[(triple10)]
("Gary" "is" "kind" "+")
triple10
Alan is not round.
False
1
inv-proof
[(triple1)]
("Alan" "is" "round" "-")
triple1
Bob is green.
True
3
proof
[(((triple4 triple3) -> rule3))]
("Bob" "is" "green" "+")
((triple4 triple3) -> (rule3 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is not green.
False
3
inv-proof
[(((triple4 triple3) -> rule3))]
("Bob" "is" "green" "-")
((triple4 triple3) -> (rule3 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is cold.
True
5
proof
[(((((triple4 triple3) -> rule3) triple4) -> rule2) OR ((((((triple3 ((triple4 triple3) -> rule3)) -> rule4) triple5 triple4) -> rule7) ((triple3 ((triple4 triple3) -> rule3)) -> rule4) ((((triple4 triple3) -> rule3) ((triple3 ((triple4 triple3) -> rule3)) -> rule4) triple4) -> rule1)) -> rule6))]
("Bob" "is" "cold" "+")
((((triple4 triple3) -> (rule3 % int2)) triple4) -> (rule2 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
((((((triple3 ((triple4 triple3) -> (rule3 % int5))) -> (rule4 % int4)) triple5 triple4) -> (rule7 % int3)) ((triple3 ((triple4 triple3) -> (rule3 % int5))) -> (rule4 % int4)) ((((triple4 triple3) -> (rule3 % int5)) ((triple3 ((triple4 triple3) -> (rule3 % int5))) -> (rule4 % int4)) triple4) -> (rule1 % int2))) -> (rule6 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
Bob is green.
("Bob" "is" "green" "+")
int5
Bob is not cold.
False
5
inv-proof
[(((((triple4 triple3) -> rule3) triple4) -> rule2) OR ((((((triple3 ((triple4 triple3) -> rule3)) -> rule4) triple5 triple4) -> rule7) ((triple3 ((triple4 triple3) -> rule3)) -> rule4) ((((triple4 triple3) -> rule3) ((triple3 ((triple4 triple3) -> rule3)) -> rule4) triple4) -> rule1)) -> rule6))]
("Bob" "is" "cold" "-")
((((triple4 triple3) -> (rule3 % int2)) triple4) -> (rule2 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
((((((triple3 ((triple4 triple3) -> (rule3 % int5))) -> (rule4 % int4)) triple5 triple4) -> (rule7 % int3)) ((triple3 ((triple4 triple3) -> (rule3 % int5))) -> (rule4 % int4)) ((((triple4 triple3) -> (rule3 % int5)) ((triple3 ((triple4 triple3) -> (rule3 % int5))) -> (rule4 % int4)) triple4) -> (rule1 % int2))) -> (rule6 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
Bob is green.
("Bob" "is" "green" "+")
int5
Bob is big.
True
8
proof
[(((((triple3 ((triple4 triple3) -> rule3)) -> rule4) triple5 triple4) -> rule7))]
("Bob" "is" "big" "+")
((((triple3 ((triple4 triple3) -> (rule3 % int3))) -> (rule4 % int2)) triple5 triple4) -> (rule7 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is not kind.
False
10
inv-proof
[(((((triple4 triple3) -> rule3) ((triple3 ((triple4 triple3) -> rule3)) -> rule4) triple4) -> rule1))]
("Bob" "is" "kind" "-")
((((triple4 triple3) -> (rule3 % int3)) ((triple3 ((triple4 triple3) -> (rule3 % int3))) -> (rule4 % int2)) triple4) -> (rule1 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is young.
True
12
proof
[(((((((triple4 triple3) -> rule3) ((triple3 ((triple4 triple3) -> rule3)) -> rule4) triple4) -> rule1) triple4) -> rule5))]
("Bob" "is" "young" "+")
((((((triple4 triple3) -> (rule3 % int4)) ((triple3 ((triple4 triple3) -> (rule3 % int4))) -> (rule4 % int3)) triple4) -> (rule1 % int2)) triple4) -> (rule5 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
Bob is not young.
False
12
inv-proof
[(((((((triple4 triple3) -> rule3) ((triple3 ((triple4 triple3) -> rule3)) -> rule4) triple4) -> rule1) triple4) -> rule5))]
("Bob" "is" "young" "-")
((((((triple4 triple3) -> (rule3 % int4)) ((triple3 ((triple4 triple3) -> (rule3 % int4))) -> (rule4 % int3)) triple4) -> (rule1 % int2)) triple4) -> (rule5 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
Charlie is not young.
Unknown
inv-rconc
[@1: Charlie is young.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Charlie" "is" "young" "-")
Charlie is green.
Unknown
rconc
[@1: Charlie is green.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Charlie" "is" "green" "+")
Alan is not young.
Unknown
inv-rconc
[@1: Alan is young.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Alan" "is" "young" "-")
Gary is nice.
Unknown
rconc
[@1: Gary is nice.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Gary" "is" "nice" "+")
Charlie is not nice.
Unknown
inv-rconc
[@2: Charlie is nice.[CWA. Example of deepest failure = (rule4 <- rule3 <- FAIL)]]
("Charlie" "is" "nice" "-")
Gary is round.
Unknown
random
[@0: Gary is round.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "round" "+")
Alan is not rough.
Unknown
inv-random
[@0: Alan is rough.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "rough" "-")
Alan is blue.
Unknown
random
[@0: Alan is blue.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "blue" "+")
Gary is not blue.
Unknown
inv-random
[@0: Gary is blue.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "blue" "-")
Alan is red.
Unknown
random
[@0: Alan is red.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "red" "+")
@0: Alan is green.[(triple2)] Alan is round.[(triple1)] Bob is blue.[(triple5)] Bob is red.[(triple4)] Bob is rough.[(triple3)] Charlie is big.[(triple8)] Charlie is cold.[(triple7)] Charlie is rough.[(triple6)] Gary is kind.[(triple10)] Gary is red.[(triple9)] @1: Bob is green.[(((triple4 triple3) -> rule3))] Gary is young.[(((triple10 triple9) -> rule5))] @2: Bob is cold.[(((((triple4 triple3) -> rule3) triple4) -> rule2) OR ((((((triple3 ((triple4 triple3) -> rule3)) -> rule4) triple5 triple4) -> rule7) ((triple3 ((triple4 triple3) -> rule3)) -> rule4) ((((triple4 triple3) -> rule3) ((triple3 ((triple4 triple3) -> rule3)) -> rule4) triple4) -> rule1)) -> rule6))] Bob is nice.[(((triple3 ((triple4 triple3) -> rule3)) -> rule4))] @3: Bob is big.[(((((triple3 ((triple4 triple3) -> rule3)) -> rule4) triple5 triple4) -> rule7))] Bob is kind.[(((((triple4 triple3) -> rule3) ((triple3 ((triple4 triple3) -> rule3)) -> rule4) triple4) -> rule1))] @4: Bob is young.[(((((((triple4 triple3) -> rule3) ((triple3 ((triple4 triple3) -> rule3)) -> rule4) triple4) -> rule1) triple4) -> rule5))]
Alan is green.
("Alan" "is" "green" "+")
triple2
Alan is round.
("Alan" "is" "round" "+")
triple1
Bob is blue.
("Bob" "is" "blue" "+")
triple5
Bob is red.
("Bob" "is" "red" "+")
triple4
Bob is rough.
("Bob" "is" "rough" "+")
triple3
Charlie is big.
("Charlie" "is" "big" "+")
triple8
Charlie is cold.
("Charlie" "is" "cold" "+")
triple7
Charlie is rough.
("Charlie" "is" "rough" "+")
triple6
Gary is kind.
("Gary" "is" "kind" "+")
triple10
Gary is red.
("Gary" "is" "red" "+")
triple9
Bob is green.
("Bob" "is" "green" "+")
((triple4 triple3) -> (rule3 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
((triple10 triple9) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
((((triple4 triple3) -> (rule3 % int2)) triple4) -> (rule2 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
((((((triple3 ((triple4 triple3) -> (rule3 % int5))) -> (rule4 % int4)) triple5 triple4) -> (rule7 % int3)) ((triple3 ((triple4 triple3) -> (rule3 % int5))) -> (rule4 % int4)) ((((triple4 triple3) -> (rule3 % int5)) ((triple3 ((triple4 triple3) -> (rule3 % int5))) -> (rule4 % int4)) triple4) -> (rule1 % int2))) -> (rule6 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
Bob is green.
("Bob" "is" "green" "+")
int5
Bob is nice.
("Bob" "is" "nice" "+")
((triple3 ((triple4 triple3) -> (rule3 % int2))) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
((((triple3 ((triple4 triple3) -> (rule3 % int3))) -> (rule4 % int2)) triple5 triple4) -> (rule7 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
((((triple4 triple3) -> (rule3 % int3)) ((triple3 ((triple4 triple3) -> (rule3 % int3))) -> (rule4 % int2)) triple4) -> (rule1 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
((((((triple4 triple3) -> (rule3 % int4)) ((triple3 ((triple4 triple3) -> (rule3 % int4))) -> (rule4 % int3)) triple4) -> (rule1 % int2)) triple4) -> (rule5 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
Alan is round shaped and green colored.
Bob fits the description of someone who is rough, red and blue.
Charlie is a very rough person; As expected, he's also a very cold and big individual.
Gary is a kind and red colored guy.
A green and red colored person who is rather nice will definitely be kind.
A person that is both green and red tends to be cold as well.
It's been proven that red, rough people are green as well.
Rough and green people are also nice.
When someone is kind and their cheeks flame red with embarrassment I know that they are young.
Anybody that fits the nice, kind and big descriptors will also fit the descriptor of cold.
Blue, red and nice people are always big, too.