When we met Alan, he was young and round. We found over time he was also nice, cold, and big. Eric had big, red, round cheeks. Harry is nice and young with red hair and a blue shirt. Young people who wear red lipstick are certainly kind. Someone can be very nice and kind, and this means they are also green. People,though rough and red,tend to be cold too. People that are red and blue and green at the same time have a reason to be cold. Kind people who are blue with sadness and cold toward others are surprisingly red. John is round and rough, meaning that he is someone that is seen as green. Kind young people are also red and green.
Alan is young.
("Alan" "is" "young" "+")
Alan is round.
("Alan" "is" "round" "+")
Alan is nice.
("Alan" "is" "nice" "+")
Alan is cold.
("Alan" "is" "cold" "+")
Alan is big.
("Alan" "is" "big" "+")
Eric is round.
("Eric" "is" "round" "+")
Eric is red.
("Eric" "is" "red" "+")
Eric is big.
("Eric" "is" "big" "+")
Harry is young.
("Harry" "is" "young" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is blue.
("Harry" "is" "blue" "+")
If someone is red and young then they are kind.
((("someone" "is" "red" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
If someone is nice and kind then they are green.
((("someone" "is" "nice" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "green" "+"))
If someone is rough and red then they are cold.
((("someone" "is" "rough" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
If someone is red and blue and green then they are cold.
((("someone" "is" "red" "+") ("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "cold" "+"))
If someone is cold and kind and blue then they are red.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
If someone is round and rough then they are green.
((("someone" "is" "round" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
If someone is red and young and kind then they are green.
((("someone" "is" "red" "+") ("someone" "is" "young" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "green" "+"))
Alan is big.
True
1
proof
[(triple5)]
("Alan" "is" "big" "+")
triple5
Eric is not red.
False
1
inv-proof
[(triple7)]
("Eric" "is" "red" "-")
triple7
Harry is kind.
True
3
proof
[(((triple10 triple9) -> rule1))]
("Harry" "is" "kind" "+")
((triple10 triple9) -> (rule1 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is not kind.
False
3
inv-proof
[(((triple10 triple9) -> rule1))]
("Harry" "is" "kind" "-")
((triple10 triple9) -> (rule1 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is green.
True
5
proof
[(((triple11 ((triple10 triple9) -> rule1)) -> rule2) OR ((triple10 triple9 ((triple10 triple9) -> rule1)) -> rule7))]
("Harry" "is" "green" "+")
((triple11 ((triple10 triple9) -> (rule1 % int2))) -> (rule2 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
((triple10 triple9 ((triple10 triple9) -> (rule1 % int2))) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is not green.
False
5
inv-proof
[(((triple11 ((triple10 triple9) -> rule1)) -> rule2) OR ((triple10 triple9 ((triple10 triple9) -> rule1)) -> rule7))]
("Harry" "is" "green" "-")
((triple11 ((triple10 triple9) -> (rule1 % int2))) -> (rule2 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
((triple10 triple9 ((triple10 triple9) -> (rule1 % int2))) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is cold.
True
8
proof
[(((triple10 triple12 ((triple11 ((triple10 triple9) -> rule1)) -> rule2)) -> rule4) OR ((triple10 triple12 ((triple10 triple9 ((triple10 triple9) -> rule1)) -> rule7)) -> rule4))]
("Harry" "is" "cold" "+")
((triple10 triple12 ((triple11 ((triple10 triple9) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
((triple10 triple12 ((triple10 triple9 ((triple10 triple9) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is not cold.
False
8
inv-proof
[(((triple10 triple12 ((triple11 ((triple10 triple9) -> rule1)) -> rule2)) -> rule4) OR ((triple10 triple12 ((triple10 triple9 ((triple10 triple9) -> rule1)) -> rule7)) -> rule4))]
("Harry" "is" "cold" "-")
((triple10 triple12 ((triple11 ((triple10 triple9) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
((triple10 triple12 ((triple10 triple9 ((triple10 triple9) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Eric is not cold.
Unknown
inv-rconc
[@1: Eric is cold.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Eric" "is" "cold" "-")
Alan is green.
Unknown
rconc
[@3: Alan is green.[CWA. Example of deepest failure = (rule2 <- rule1 <- rule5 <- FAIL)]]
("Alan" "is" "green" "+")
Charlie is not cold.
Unknown
inv-rconc
[@1: Charlie is cold.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Charlie" "is" "cold" "-")
Alan is kind.
Unknown
rconc
[@2: Alan is kind.[CWA. Example of deepest failure = (rule1 <- rule5 <- FAIL)]]
("Alan" "is" "kind" "+")
Eric is not nice.
Unknown
inv-random
[@0: Eric is nice.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "nice" "-")
Harry is big.
Unknown
random
[@0: Harry is big.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "big" "+")
Harry is not round.
Unknown
inv-random
[@0: Harry is round.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "round" "-")
Alan is blue.
Unknown
random
[@0: Alan is blue.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "blue" "+")
@0: Alan is big.[(triple5)] Alan is cold.[(triple4)] Alan is nice.[(triple3)] Alan is round.[(triple2)] Alan is young.[(triple1)] Eric is big.[(triple8)] Eric is red.[(triple7)] Eric is round.[(triple6)] Harry is blue.[(triple12)] Harry is nice.[(triple11)] Harry is red.[(triple10)] Harry is young.[(triple9)] @1: Harry is kind.[(((triple10 triple9) -> rule1))] @2: Harry is green.[(((triple11 ((triple10 triple9) -> rule1)) -> rule2) OR ((triple10 triple9 ((triple10 triple9) -> rule1)) -> rule7))] @3: Harry is cold.[(((triple10 triple12 ((triple11 ((triple10 triple9) -> rule1)) -> rule2)) -> rule4) OR ((triple10 triple12 ((triple10 triple9 ((triple10 triple9) -> rule1)) -> rule7)) -> rule4))]
Alan is big.
("Alan" "is" "big" "+")
triple5
Alan is cold.
("Alan" "is" "cold" "+")
triple4
Alan is nice.
("Alan" "is" "nice" "+")
triple3
Alan is round.
("Alan" "is" "round" "+")
triple2
Alan is young.
("Alan" "is" "young" "+")
triple1
Eric is big.
("Eric" "is" "big" "+")
triple8
Eric is red.
("Eric" "is" "red" "+")
triple7
Eric is round.
("Eric" "is" "round" "+")
triple6
Harry is blue.
("Harry" "is" "blue" "+")
triple12
Harry is nice.
("Harry" "is" "nice" "+")
triple11
Harry is red.
("Harry" "is" "red" "+")
triple10
Harry is young.
("Harry" "is" "young" "+")
triple9
Harry is kind.
("Harry" "is" "kind" "+")
((triple10 triple9) -> (rule1 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
((triple11 ((triple10 triple9) -> (rule1 % int2))) -> (rule2 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
((triple10 triple9 ((triple10 triple9) -> (rule1 % int2))) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
((triple10 triple12 ((triple11 ((triple10 triple9) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
((triple10 triple12 ((triple10 triple9 ((triple10 triple9) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
When we met Alan, he was young and round; We found over time he was also nice, cold, and big.
Eric had big, red, round cheeks.
Harry is nice and young with red hair and a blue shirt.
Young people who wear red lipstick are certainly kind.
Someone can be very nice and kind, and this means they are also green.
People,though rough and red,tend to be cold too.
People that are red and blue and green at the same time have a reason to be cold.
Kind people who are blue with sadness and cold toward others are surprisingly red.
John is round and rough, meaning that he is someone that is seen as green.
Kind young people are also red and green.