Alan is round shaped and green colored. Bob is a rather big guy with rough features. He's pretty red and green, most of the time. Eric was looking rather round and feeling rather cold, but people thought he is kind. Harry who is big in stature is almost always nice even when he is cold. A nice young person who is red is cold. Look for the blue and green people, they are kind and will give you directions if you're lost. Any person who is blue and round, if they are kind at the same time, will be young. In every case of people being kind and blue and green, we find they are concurrently nice. Among the green people who are young, the color blue is always part of them. People that are green tend to be young.
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 green.
("Bob" "is" "green" "+")
Bob is big.
("Bob" "is" "big" "+")
Eric is round.
("Eric" "is" "round" "+")
Eric is kind.
("Eric" "is" "kind" "+")
Eric is cold.
("Eric" "is" "cold" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is nice and red and young then they are cold.
((("someone" "is" "nice" "+") ("someone" "is" "red" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "cold" "+"))
If someone is blue and green then they are kind.
((("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "kind" "+"))
If someone is blue and round and kind then they are young.
((("someone" "is" "blue" "+") ("someone" "is" "round" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "young" "+"))
If someone is kind and blue and green then they are nice.
((("someone" "is" "kind" "+") ("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
If someone is green and young then they are blue.
((("someone" "is" "green" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "blue" "+"))
If someone is green then they are young.
((("someone" "is" "green" "+")) -> ("someone" "is" "young" "+"))
Eric is round.
True
1
proof
[(triple7)]
("Eric" "is" "round" "+")
triple7
Alan is not round.
False
1
inv-proof
[(triple1)]
("Alan" "is" "round" "-")
triple1
Bob is young.
True
2
proof
[(((triple5) -> rule6))]
("Bob" "is" "young" "+")
((triple5) -> (rule6 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is not young.
False
2
inv-proof
[(((triple5) -> rule6))]
("Bob" "is" "young" "-")
((triple5) -> (rule6 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Alan is blue.
True
4
proof
[(((triple2 ((triple2) -> rule6)) -> rule5))]
("Alan" "is" "blue" "+")
((triple2 ((triple2) -> (rule6 % int2))) -> (rule5 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is not blue.
False
4
inv-proof
[(((triple2 ((triple2) -> rule6)) -> rule5))]
("Alan" "is" "blue" "-")
((triple2 ((triple2) -> (rule6 % int2))) -> (rule5 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Bob is kind.
True
6
proof
[(((((triple5 ((triple5) -> rule6)) -> rule5) triple5) -> rule2))]
("Bob" "is" "kind" "+")
((((triple5 ((triple5) -> (rule6 % int3))) -> (rule5 % int2)) triple5) -> (rule2 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is not kind.
False
6
inv-proof
[(((((triple5 ((triple5) -> rule6)) -> rule5) triple5) -> rule2))]
("Bob" "is" "kind" "-")
((((triple5 ((triple5) -> (rule6 % int3))) -> (rule5 % int2)) triple5) -> (rule2 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Alan is nice.
True
12
proof
[(((((((triple2 ((triple2) -> rule6)) -> rule5) triple2) -> rule2) ((triple2 ((triple2) -> rule6)) -> rule5) triple2) -> rule4))]
("Alan" "is" "nice" "+")
((((((triple2 ((triple2) -> (rule6 % int4))) -> (rule5 % int3)) triple2) -> (rule2 % int2)) ((triple2 ((triple2) -> (rule6 % int4))) -> (rule5 % int3)) triple2) -> (rule4 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
int2
Alan is blue.
("Alan" "is" "blue" "+")
int3
Alan is young.
("Alan" "is" "young" "+")
int4
Bob is not nice.
False
12
inv-proof
[(((((((triple5 ((triple5) -> rule6)) -> rule5) triple5) -> rule2) ((triple5 ((triple5) -> rule6)) -> rule5) triple5) -> rule4))]
("Bob" "is" "nice" "-")
((((((triple5 ((triple5) -> (rule6 % int4))) -> (rule5 % int3)) triple5) -> (rule2 % int2)) ((triple5 ((triple5) -> (rule6 % int4))) -> (rule5 % int3)) triple5) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is cold.
True
16
proof
[(((((((((triple5 ((triple5) -> rule6)) -> rule5) triple5) -> rule2) ((triple5 ((triple5) -> rule6)) -> rule5) triple5) -> rule4) triple4 ((triple5) -> rule6)) -> rule1))]
("Bob" "is" "cold" "+")
((((((((triple5 ((triple5) -> (rule6 % int5))) -> (rule5 % int4)) triple5) -> (rule2 % int3)) ((triple5 ((triple5) -> (rule6 % int5))) -> (rule5 % int4)) triple5) -> (rule4 % int2)) triple4 ((triple5) -> (rule6 % int5))) -> (rule1 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
Bob is not cold.
False
16
inv-proof
[(((((((((triple5 ((triple5) -> rule6)) -> rule5) triple5) -> rule2) ((triple5 ((triple5) -> rule6)) -> rule5) triple5) -> rule4) triple4 ((triple5) -> rule6)) -> rule1))]
("Bob" "is" "cold" "-")
((((((((triple5 ((triple5) -> (rule6 % int5))) -> (rule5 % int4)) triple5) -> (rule2 % int3)) ((triple5 ((triple5) -> (rule6 % int5))) -> (rule5 % int4)) triple5) -> (rule4 % int2)) triple4 ((triple5) -> (rule6 % int5))) -> (rule1 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
Harry is not young.
Unknown
inv-rconc
[@1: Harry is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "young" "-")
Eric is blue.
Unknown
rconc
[@1: Eric is blue.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Eric" "is" "blue" "+")
Eric is not nice.
Unknown
inv-rconc
[@1: Eric is nice.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Eric" "is" "nice" "-")
Eric is young.
Unknown
rconc
[@2: Eric is young.[CWA. Example of deepest failure = (rule3 <- rule5 <- FAIL)]]
("Eric" "is" "young" "+")
Harry is not kind.
Unknown
inv-rconc
[@1: Harry is kind.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "kind" "-")
Alan is cold.
Unknown
rconc
[@1: Alan is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Alan" "is" "cold" "+")
Alan is not big.
Unknown
inv-random
[@0: Alan is big.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "big" "-")
Harry is green.
Unknown
random
[@0: Harry is green.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "green" "+")
Eric is not big.
Unknown
inv-random
[@0: Eric is big.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "big" "-")
Alan is red.
Unknown
random
[@0: Alan is red.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "red" "+")
Eric is not green.
Unknown
inv-random
[@0: Eric is green.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "green" "-")
Harry is round.
Unknown
random
[@0: Harry is round.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "round" "+")
@0: Alan is green.[(triple2)] Alan is round.[(triple1)] Bob is big.[(triple6)] Bob is green.[(triple5)] Bob is red.[(triple4)] Bob is rough.[(triple3)] Eric is cold.[(triple9)] Eric is kind.[(triple8)] Eric is round.[(triple7)] Harry is big.[(triple12)] Harry is cold.[(triple11)] Harry is nice.[(triple10)] @1: Alan is young.[(((triple2) -> rule6))] Bob is young.[(((triple5) -> rule6))] @2: Alan is blue.[(((triple2 ((triple2) -> rule6)) -> rule5))] Bob is blue.[(((triple5 ((triple5) -> rule6)) -> rule5))] @3: Alan is kind.[(((((triple2 ((triple2) -> rule6)) -> rule5) triple2) -> rule2))] Bob is kind.[(((((triple5 ((triple5) -> rule6)) -> rule5) triple5) -> rule2))] @4: Alan is nice.[(((((((triple2 ((triple2) -> rule6)) -> rule5) triple2) -> rule2) ((triple2 ((triple2) -> rule6)) -> rule5) triple2) -> rule4))] Bob is nice.[(((((((triple5 ((triple5) -> rule6)) -> rule5) triple5) -> rule2) ((triple5 ((triple5) -> rule6)) -> rule5) triple5) -> rule4))] @5: Bob is cold.[(((((((((triple5 ((triple5) -> rule6)) -> rule5) triple5) -> rule2) ((triple5 ((triple5) -> rule6)) -> rule5) triple5) -> rule4) triple4 ((triple5) -> rule6)) -> rule1))]
Alan is green.
("Alan" "is" "green" "+")
triple2
Alan is round.
("Alan" "is" "round" "+")
triple1
Bob is big.
("Bob" "is" "big" "+")
triple6
Bob is green.
("Bob" "is" "green" "+")
triple5
Bob is red.
("Bob" "is" "red" "+")
triple4
Bob is rough.
("Bob" "is" "rough" "+")
triple3
Eric is cold.
("Eric" "is" "cold" "+")
triple9
Eric is kind.
("Eric" "is" "kind" "+")
triple8
Eric is round.
("Eric" "is" "round" "+")
triple7
Harry is big.
("Harry" "is" "big" "+")
triple12
Harry is cold.
("Harry" "is" "cold" "+")
triple11
Harry is nice.
("Harry" "is" "nice" "+")
triple10
Alan is young.
("Alan" "is" "young" "+")
((triple2) -> (rule6 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
((triple5) -> (rule6 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
((triple2 ((triple2) -> (rule6 % int2))) -> (rule5 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
((triple5 ((triple5) -> (rule6 % int2))) -> (rule5 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Alan is kind.
("Alan" "is" "kind" "+")
((((triple2 ((triple2) -> (rule6 % int3))) -> (rule5 % int2)) triple2) -> (rule2 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
Alan is young.
("Alan" "is" "young" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
((((triple5 ((triple5) -> (rule6 % int3))) -> (rule5 % int2)) triple5) -> (rule2 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Alan is nice.
("Alan" "is" "nice" "+")
((((((triple2 ((triple2) -> (rule6 % int4))) -> (rule5 % int3)) triple2) -> (rule2 % int2)) ((triple2 ((triple2) -> (rule6 % int4))) -> (rule5 % int3)) triple2) -> (rule4 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
int2
Alan is blue.
("Alan" "is" "blue" "+")
int3
Alan is young.
("Alan" "is" "young" "+")
int4
Bob is nice.
("Bob" "is" "nice" "+")
((((((triple5 ((triple5) -> (rule6 % int4))) -> (rule5 % int3)) triple5) -> (rule2 % int2)) ((triple5 ((triple5) -> (rule6 % int4))) -> (rule5 % int3)) triple5) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is cold.
("Bob" "is" "cold" "+")
((((((((triple5 ((triple5) -> (rule6 % int5))) -> (rule5 % int4)) triple5) -> (rule2 % int3)) ((triple5 ((triple5) -> (rule6 % int5))) -> (rule5 % int4)) triple5) -> (rule4 % int2)) triple4 ((triple5) -> (rule6 % int5))) -> (rule1 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
Alan is round shaped and green colored.
Bob is a rather big guy with rough features; He's pretty red and green, most of the time.
Eric was looking rather round and feeling rather cold, but people thought he is kind.
Harry who is big in stature is almost always nice even when he is cold.
A nice young person who is red is cold.
Look for the blue and green people, they are kind and will give you directions if you're lost.
Any person who is blue and round, if they are kind at the same time, will be young.
In every case of people being kind and blue and green, we find they are concurrently nice.
Among the green people who are young, the color blue is always part of them.
People that are green tend to be young.