Alan is blue and cold. Because Bob is so young, he is rough and cold when he can be round instead. Young Charlie got into a fight that left him with red sores on his face. Upon meeting Eric, you'll notice he's green and kind. Someone with round, red, and kind traits also will be green. A big and rough person can be misleading because they are cold and blue as well. A blue and round human being will also be a green human being. You can see that cold, blue people are round in shape. A person that is green also someone who is big.
Alan is cold.
("Alan" "is" "cold" "+")
Alan is blue.
("Alan" "is" "blue" "+")
Bob is young.
("Bob" "is" "young" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Eric is kind.
("Eric" "is" "kind" "+")
Eric is green.
("Eric" "is" "green" "+")
If someone is round and red and kind then they are green.
((("someone" "is" "round" "+") ("someone" "is" "red" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "green" "+"))
If someone is cold and big and rough then they are blue.
((("someone" "is" "cold" "+") ("someone" "is" "big" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "+"))
If someone is blue and round then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "green" "+"))
If someone is cold and blue then they are round.
((("someone" "is" "cold" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
If someone is green then they are big.
((("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
Bob is rough.
True
1
proof
[(triple5)]
("Bob" "is" "rough" "+")
triple5
Eric is not kind.
False
1
inv-proof
[(triple9)]
("Eric" "is" "kind" "-")
triple9
Eric is big.
True
2
proof
[(((triple10) -> rule5))]
("Eric" "is" "big" "+")
((triple10) -> (rule5 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Alan is not round.
False
3
inv-proof
[(((triple1 triple2) -> rule4))]
("Alan" "is" "round" "-")
((triple1 triple2) -> (rule4 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is green.
True
5
proof
[(((triple2 ((triple1 triple2) -> rule4)) -> rule3))]
("Alan" "is" "green" "+")
((triple2 ((triple1 triple2) -> (rule4 % int2))) -> (rule3 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
int2
Alan is not green.
False
5
inv-proof
[(((triple2 ((triple1 triple2) -> rule4)) -> rule3))]
("Alan" "is" "green" "-")
((triple2 ((triple1 triple2) -> (rule4 % int2))) -> (rule3 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
int2
Alan is big.
True
6
proof
[(((((triple2 ((triple1 triple2) -> rule4)) -> rule3)) -> rule5))]
("Alan" "is" "big" "+")
((((triple2 ((triple1 triple2) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
int2
Alan is round.
("Alan" "is" "round" "+")
int3
Alan is not big.
False
6
inv-proof
[(((((triple2 ((triple1 triple2) -> rule4)) -> rule3)) -> rule5))]
("Alan" "is" "big" "-")
((((triple2 ((triple1 triple2) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
int2
Alan is round.
("Alan" "is" "round" "+")
int3
Eric is not round.
Unknown
inv-rconc
[@1: Eric is round.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Eric" "is" "round" "-")
Charlie is big.
Unknown
rconc
[@3: Charlie is big.[CWA. Example of deepest failure = (rule5 <- rule3 <- rule2 <- FAIL)]]
("Charlie" "is" "big" "+")
Charlie is not green.
Unknown
inv-rconc
[@2: Charlie is green.[CWA. Example of deepest failure = (rule3 <- rule2 <- FAIL)]]
("Charlie" "is" "green" "-")
Bob is blue.
Unknown
rconc
[@3: Bob is blue.[CWA. Example of deepest failure = (rule2 <- rule5 <- rule1 <- FAIL)]]
("Bob" "is" "blue" "+")
Alan is not nice.
Unknown
inv-random
[@0: Alan is nice.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "nice" "-")
Eric is nice.
Unknown
random
[@0: Eric is nice.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "nice" "+")
Bob is not red.
Unknown
inv-random
[@0: Bob is red.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "red" "-")
Eric is cold.
Unknown
random
[@0: Eric is cold.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "cold" "+")
@0: Alan is blue.[(triple2)] Alan is cold.[(triple1)] Bob is cold.[(triple6)] Bob is rough.[(triple5)] Bob is round.[(triple4)] Bob is young.[(triple3)] Charlie is red.[(triple8)] Charlie is young.[(triple7)] Eric is green.[(triple10)] Eric is kind.[(triple9)] @1: Alan is round.[(((triple1 triple2) -> rule4))] Eric is big.[(((triple10) -> rule5))] @2: Alan is green.[(((triple2 ((triple1 triple2) -> rule4)) -> rule3))] @3: Alan is big.[(((((triple2 ((triple1 triple2) -> rule4)) -> rule3)) -> rule5))]
Alan is blue.
("Alan" "is" "blue" "+")
triple2
Alan is cold.
("Alan" "is" "cold" "+")
triple1
Bob is cold.
("Bob" "is" "cold" "+")
triple6
Bob is rough.
("Bob" "is" "rough" "+")
triple5
Bob is round.
("Bob" "is" "round" "+")
triple4
Bob is young.
("Bob" "is" "young" "+")
triple3
Charlie is red.
("Charlie" "is" "red" "+")
triple8
Charlie is young.
("Charlie" "is" "young" "+")
triple7
Eric is green.
("Eric" "is" "green" "+")
triple10
Eric is kind.
("Eric" "is" "kind" "+")
triple9
Alan is round.
("Alan" "is" "round" "+")
((triple1 triple2) -> (rule4 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
((triple10) -> (rule5 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
((triple2 ((triple1 triple2) -> (rule4 % int2))) -> (rule3 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
int2
Alan is big.
("Alan" "is" "big" "+")
((((triple2 ((triple1 triple2) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
int2
Alan is round.
("Alan" "is" "round" "+")
int3
Alan is blue and cold.
Because Bob is so young, he is rough and cold when he can be round instead.
Young Charlie got into a fight that left him with red sores on his face.
Upon meeting Eric, you'll notice he's green and kind.
Someone with round, red, and kind traits also will be green.
A big and rough person can be misleading because they are cold and blue as well.
A blue and round human being will also be a green human being.
You can see that cold, blue people are round in shape.
A person that is green also someone who is big.