Alan is young, but very kind to others. Alan is big, with round features. Bob is nice and kind, but a little rough. Charlie is a rough but very kind and blue person. Fred is blue and cold. Blue Christmas ornaments are also red. Big and cold people tend to see red and dont live green lifestyle. Blue kind people are almost always nice to others. Anyone who is round and also cold will surely be big as well. An individual who is big and nice is also green. Nice people who are kind, despite their rough skin, are big hearted. If you meet somebody who is young, rough and round, you can be sure they are nice as well.
Alan is young.
("Alan" "is" "young" "+")
Alan is round.
("Alan" "is" "round" "+")
Alan is kind.
("Alan" "is" "kind" "+")
Alan is big.
("Alan" "is" "big" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Fred is cold.
("Fred" "is" "cold" "+")
Fred is blue.
("Fred" "is" "blue" "+")
If someone is blue then they are red.
((("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
If someone is red and big and cold then they are green.
((("someone" "is" "red" "+") ("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
If someone is blue and kind then they are nice.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "+"))
If someone is round and cold then they are big.
((("someone" "is" "round" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "big" "+"))
If someone is big and nice then they are green.
((("someone" "is" "big" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "green" "+"))
If someone is kind and nice and rough then they are big.
((("someone" "is" "kind" "+") ("someone" "is" "nice" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
If someone is young and round and rough then they are nice.
((("someone" "is" "young" "+") ("someone" "is" "round" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "+"))
Fred is blue.
True
1
proof
[(triple12)]
("Fred" "is" "blue" "+")
triple12
Bob is not nice.
False
1
inv-proof
[(triple6)]
("Bob" "is" "nice" "-")
triple6
Charlie is red.
True
2
proof
[(((triple10) -> rule1))]
("Charlie" "is" "red" "+")
((triple10) -> (rule1 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Bob is not big.
False
4
inv-proof
[(((triple7 triple6 triple5) -> rule6))]
("Bob" "is" "big" "-")
((triple7 triple6 triple5) -> (rule6 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Charlie is big.
True
6
proof
[(((triple9 ((triple10 triple9) -> rule3) triple8) -> rule6))]
("Charlie" "is" "big" "+")
((triple9 ((triple10 triple9) -> (rule3 % int2)) triple8) -> (rule6 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is not big.
False
6
inv-proof
[(((triple9 ((triple10 triple9) -> rule3) triple8) -> rule6))]
("Charlie" "is" "big" "-")
((triple9 ((triple10 triple9) -> (rule3 % int2)) triple8) -> (rule6 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is green.
True
10
proof
[(((((triple9 ((triple10 triple9) -> rule3) triple8) -> rule6) ((triple10 triple9) -> rule3)) -> rule5))]
("Charlie" "is" "green" "+")
((((triple9 ((triple10 triple9) -> (rule3 % int3)) triple8) -> (rule6 % int2)) ((triple10 triple9) -> (rule3 % int3))) -> (rule5 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is not green.
False
10
inv-proof
[(((((triple9 ((triple10 triple9) -> rule3) triple8) -> rule6) ((triple10 triple9) -> rule3)) -> rule5))]
("Charlie" "is" "green" "-")
((((triple9 ((triple10 triple9) -> (rule3 % int3)) triple8) -> (rule6 % int2)) ((triple10 triple9) -> (rule3 % int3))) -> (rule5 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Alan is not nice.
Unknown
inv-rconc
[@1: Alan is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Alan" "is" "nice" "-")
Alan is red.
Unknown
rconc
[@1: Alan is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Alan" "is" "red" "+")
Bob is not red.
Unknown
inv-rconc
[@1: Bob is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "red" "-")
Fred is big.
Unknown
rconc
[@1: Fred is big.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Fred" "is" "big" "+")
Bob is not young.
Unknown
inv-random
[@0: Bob is young.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "young" "-")
Alan is rough.
Unknown
random
[@0: Alan is rough.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "rough" "+")
Charlie is not round.
Unknown
inv-random
[@0: Charlie is round.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "round" "-")
Fred is round.
Unknown
random
[@0: Fred is round.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "round" "+")
@0: Alan is big.[(triple4)] Alan is kind.[(triple3)] Alan is round.[(triple2)] Alan is young.[(triple1)] Bob is kind.[(triple7)] Bob is nice.[(triple6)] Bob is rough.[(triple5)] Charlie is blue.[(triple10)] Charlie is kind.[(triple9)] Charlie is rough.[(triple8)] Fred is blue.[(triple12)] Fred is cold.[(triple11)] @1: Bob is big.[(((triple7 triple6 triple5) -> rule6))] Charlie is nice.[(((triple10 triple9) -> rule3))] Charlie is red.[(((triple10) -> rule1))] Fred is red.[(((triple12) -> rule1))] @2: Bob is green.[(((((triple7 triple6 triple5) -> rule6) triple6) -> rule5))] Charlie is big.[(((triple9 ((triple10 triple9) -> rule3) triple8) -> rule6))] @3: Charlie is green.[(((((triple9 ((triple10 triple9) -> rule3) triple8) -> rule6) ((triple10 triple9) -> rule3)) -> rule5))]
Alan is big.
("Alan" "is" "big" "+")
triple4
Alan is kind.
("Alan" "is" "kind" "+")
triple3
Alan is round.
("Alan" "is" "round" "+")
triple2
Alan is young.
("Alan" "is" "young" "+")
triple1
Bob is kind.
("Bob" "is" "kind" "+")
triple7
Bob is nice.
("Bob" "is" "nice" "+")
triple6
Bob is rough.
("Bob" "is" "rough" "+")
triple5
Charlie is blue.
("Charlie" "is" "blue" "+")
triple10
Charlie is kind.
("Charlie" "is" "kind" "+")
triple9
Charlie is rough.
("Charlie" "is" "rough" "+")
triple8
Fred is blue.
("Fred" "is" "blue" "+")
triple12
Fred is cold.
("Fred" "is" "cold" "+")
triple11
Bob is big.
("Bob" "is" "big" "+")
((triple7 triple6 triple5) -> (rule6 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
((triple10 triple9) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
((triple10) -> (rule1 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
((triple12) -> (rule1 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
((((triple7 triple6 triple5) -> (rule6 % int2)) triple6) -> (rule5 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
((triple9 ((triple10 triple9) -> (rule3 % int2)) triple8) -> (rule6 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
((((triple9 ((triple10 triple9) -> (rule3 % int3)) triple8) -> (rule6 % int2)) ((triple10 triple9) -> (rule3 % int3))) -> (rule5 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Alan is young, but very kind to others; Alan is big, with round features.
Bob is nice and kind, but a little rough.
Charlie is a rough but very kind and blue person.
Fred is blue and cold.
Blue Christmas ornaments are also red.
Big and cold people tend to see red and dont live green lifestyle.
Blue kind people are almost always nice to others.
Anyone who is round and also cold will surely be big as well.
An individual who is big and nice is also green.
Nice people who are kind, despite their rough skin, are big hearted.
If you meet somebody who is young, rough and round, you can be sure they are nice as well.