That guy Alan is big, but he's always kind to little ones. Young, red Bob is nice. I know Eric really well and you can say he is rough on the outside, cold on the inside and red all of the time. Fred was born only a few years ago so he is young. Cold and rough people will also surely be round shaped. When a nice blue person is also red, they get called rough. Rough people, round from over eating, who are also cold are young and don't mind the draft. Being green, blue, and red all point to how young someone was. Being green and rough are signs that someone is big. John is round and rough, meaning that he is someone that is seen as green. Big people that are also rough, are ultimately round.
Alan is kind.
("Alan" "is" "kind" "+")
Alan is big.
("Alan" "is" "big" "+")
Bob is young.
("Bob" "is" "young" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Eric is red.
("Eric" "is" "red" "+")
Eric is cold.
("Eric" "is" "cold" "+")
Fred is young.
("Fred" "is" "young" "+")
If someone is cold and rough then they are round.
((("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "round" "+"))
If someone is nice and red and blue then they are rough.
((("someone" "is" "nice" "+") ("someone" "is" "red" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "rough" "+"))
If someone is round and cold and rough then they are young.
((("someone" "is" "round" "+") ("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "young" "+"))
If someone is green and blue and red then they are young.
((("someone" "is" "green" "+") ("someone" "is" "blue" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "young" "+"))
If someone is green and rough then they are big.
((("someone" "is" "green" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
If someone is round and rough then they are green.
((("someone" "is" "round" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
If someone is big and rough then they are round.
((("someone" "is" "big" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "round" "+"))
Bob is red.
True
1
proof
[(triple4)]
("Bob" "is" "red" "+")
triple4
Bob is not nice.
False
1
inv-proof
[(triple5)]
("Bob" "is" "nice" "-")
triple5
Eric is round.
True
3
proof
[(((triple8 triple6) -> rule1))]
("Eric" "is" "round" "+")
((triple8 triple6) -> (rule1 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is not round.
False
3
inv-proof
[(((triple8 triple6) -> rule1))]
("Eric" "is" "round" "-")
((triple8 triple6) -> (rule1 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is young.
True
6
proof
[(((((triple8 triple6) -> rule1) triple8 triple6) -> rule3))]
("Eric" "is" "young" "+")
((((triple8 triple6) -> (rule1 % int2)) triple8 triple6) -> (rule3 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
int2
Eric is not young.
False
6
inv-proof
[(((((triple8 triple6) -> rule1) triple8 triple6) -> rule3))]
("Eric" "is" "young" "-")
((((triple8 triple6) -> (rule1 % int2)) triple8 triple6) -> (rule3 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
int2
Eric is big.
True
7
proof
[(((((((triple8 triple6) -> rule1) triple6) -> rule6) triple6) -> rule5))]
("Eric" "is" "big" "+")
((((((triple8 triple6) -> (rule1 % int3)) triple6) -> (rule6 % int2)) triple6) -> (rule5 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
Eric is round.
("Eric" "is" "round" "+")
int3
Eric is not big.
False
7
inv-proof
[(((((((triple8 triple6) -> rule1) triple6) -> rule6) triple6) -> rule5))]
("Eric" "is" "big" "-")
((((((triple8 triple6) -> (rule1 % int3)) triple6) -> (rule6 % int2)) triple6) -> (rule5 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
Eric is round.
("Eric" "is" "round" "+")
int3
Alan is not rough.
Unknown
inv-rconc
[@1: Alan is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Alan" "is" "rough" "-")
Alan is green.
Unknown
rconc
[@2: Alan is green.[CWA. Example of deepest failure = (rule6 <- rule2 <- FAIL)]]
("Alan" "is" "green" "+")
Fred is not round.
Unknown
inv-rconc
[@2: Fred is round.[CWA. Example of deepest failure = (rule7 <- rule2 <- FAIL)]]
("Fred" "is" "round" "-")
Alan is round.
Unknown
rconc
[@2: Alan is round.[CWA. Example of deepest failure = (rule7 <- rule2 <- FAIL)]]
("Alan" "is" "round" "+")
Fred is not nice.
Unknown
inv-random
[@0: Fred is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "nice" "-")
Alan is cold.
Unknown
random
[@0: Alan is cold.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "cold" "+")
Bob is not cold.
Unknown
inv-random
[@0: Bob is cold.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "cold" "-")
Fred is kind.
Unknown
random
[@0: Fred is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "kind" "+")
@0: Alan is big.[(triple2)] Alan is kind.[(triple1)] Bob is nice.[(triple5)] Bob is red.[(triple4)] Bob is young.[(triple3)] Eric is cold.[(triple8)] Eric is red.[(triple7)] Eric is rough.[(triple6)] Fred is young.[(triple9)] @1: Eric is round.[(((triple8 triple6) -> rule1))] @2: Eric is green.[(((((triple8 triple6) -> rule1) triple6) -> rule6))] Eric is young.[(((((triple8 triple6) -> rule1) triple8 triple6) -> rule3))] @3: Eric is big.[(((((((triple8 triple6) -> rule1) triple6) -> rule6) triple6) -> rule5))]
Alan is big.
("Alan" "is" "big" "+")
triple2
Alan is kind.
("Alan" "is" "kind" "+")
triple1
Bob is nice.
("Bob" "is" "nice" "+")
triple5
Bob is red.
("Bob" "is" "red" "+")
triple4
Bob is young.
("Bob" "is" "young" "+")
triple3
Eric is cold.
("Eric" "is" "cold" "+")
triple8
Eric is red.
("Eric" "is" "red" "+")
triple7
Eric is rough.
("Eric" "is" "rough" "+")
triple6
Fred is young.
("Fred" "is" "young" "+")
triple9
Eric is round.
("Eric" "is" "round" "+")
((triple8 triple6) -> (rule1 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
((((triple8 triple6) -> (rule1 % int2)) triple6) -> (rule6 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
int2
Eric is young.
("Eric" "is" "young" "+")
((((triple8 triple6) -> (rule1 % int2)) triple8 triple6) -> (rule3 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
int2
Eric is big.
("Eric" "is" "big" "+")
((((((triple8 triple6) -> (rule1 % int3)) triple6) -> (rule6 % int2)) triple6) -> (rule5 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
Eric is round.
("Eric" "is" "round" "+")
int3
That guy Alan is big, but he's always kind to little ones.
Young, red Bob is nice.
I know Eric really well and you can say he is rough on the outside, cold on the inside and red all of the time.
Fred was born only a few years ago so he is young.
Cold and rough people will also surely be round shaped.
When a nice blue person is also red, they get called rough.
Rough people, round from over eating, who are also cold are young and don't mind the draft.
Being green, blue, and red all point to how young someone was.
Being green and rough are signs that someone is big.
John is round and rough, meaning that he is someone that is seen as green.
Big people that are also rough, are ultimately round.