Big, round Alan is cold and very green. They always call him rough Bob. Charlie is big and tends to wear red shirts. Fred is a person who is young and also rough. He's also someone who is big and blue. If someone is green skinned and has a big nose then you'll find that they often are nice to their family. Among cold people, those who are round and kind are also rough. Being big and kind like a gentle giant can make anyone blue. A round person will also be red. A green colored and rough person will be quite kind. A young person who is both big and blue is also someone who is green. Kind people,though green,are cold.
Alan is round.
("Alan" "is" "round" "+")
Alan is green.
("Alan" "is" "green" "+")
Alan is cold.
("Alan" "is" "cold" "+")
Alan is big.
("Alan" "is" "big" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Fred is young.
("Fred" "is" "young" "+")
Fred is rough.
("Fred" "is" "rough" "+")
Fred is blue.
("Fred" "is" "blue" "+")
Fred is big.
("Fred" "is" "big" "+")
If someone is green and big then they are nice.
((("someone" "is" "green" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
If someone is cold and round and kind then they are rough.
((("someone" "is" "cold" "+") ("someone" "is" "round" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "rough" "+"))
If someone is big and kind then they are blue.
((("someone" "is" "big" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "blue" "+"))
If someone is round then they are red.
((("someone" "is" "round" "+")) -> ("someone" "is" "red" "+"))
If someone is green and rough then they are kind.
((("someone" "is" "green" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
If someone is blue and young and big then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "young" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "green" "+"))
If someone is kind and green then they are cold.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "cold" "+"))
Alan is big.
True
1
proof
[(triple4)]
("Alan" "is" "big" "+")
triple4
Fred is not blue.
False
1
inv-proof
[(triple10)]
("Fred" "is" "blue" "-")
triple10
Alan is nice.
True
3
proof
[(((triple2 triple4) -> rule1))]
("Alan" "is" "nice" "+")
((triple2 triple4) -> (rule1 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is not nice.
False
3
inv-proof
[(((triple2 triple4) -> rule1))]
("Alan" "is" "nice" "-")
((triple2 triple4) -> (rule1 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Fred is nice.
True
6
proof
[(((((triple10 triple8 triple11) -> rule6) triple11) -> rule1))]
("Fred" "is" "nice" "+")
((((triple10 triple8 triple11) -> (rule6 % int2)) triple11) -> (rule1 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
int2
Fred is not nice.
False
6
inv-proof
[(((((triple10 triple8 triple11) -> rule6) triple11) -> rule1))]
("Fred" "is" "nice" "-")
((((triple10 triple8 triple11) -> (rule6 % int2)) triple11) -> (rule1 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
int2
Fred is cold.
True
11
proof
[(((((((triple10 triple8 triple11) -> rule6) triple9) -> rule5) ((triple10 triple8 triple11) -> rule6)) -> rule7))]
("Fred" "is" "cold" "+")
((((((triple10 triple8 triple11) -> (rule6 % int3)) triple9) -> (rule5 % int2)) ((triple10 triple8 triple11) -> (rule6 % int3))) -> (rule7 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
int2
Fred is green.
("Fred" "is" "green" "+")
int3
Fred is not cold.
False
11
inv-proof
[(((((((triple10 triple8 triple11) -> rule6) triple9) -> rule5) ((triple10 triple8 triple11) -> rule6)) -> rule7))]
("Fred" "is" "cold" "-")
((((((triple10 triple8 triple11) -> (rule6 % int3)) triple9) -> (rule5 % int2)) ((triple10 triple8 triple11) -> (rule6 % int3))) -> (rule7 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
int2
Fred is green.
("Fred" "is" "green" "+")
int3
Charlie is not nice.
Unknown
inv-rconc
[@2: Charlie is nice.[CWA. Example of deepest failure = (rule1 <- rule6 <- FAIL)]]
("Charlie" "is" "nice" "-")
Alan is kind.
Unknown
rconc
[@2: Alan is kind.[CWA. Example of deepest failure = (rule5 <- rule2 <- FAIL)]]
("Alan" "is" "kind" "+")
Bob is not red.
Unknown
inv-rconc
[@1: Bob is red.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Bob" "is" "red" "-")
Charlie is kind.
Unknown
rconc
[@2: Charlie is kind.[CWA. Example of deepest failure = (rule5 <- rule6 <- FAIL)]]
("Charlie" "is" "kind" "+")
Charlie is not young.
Unknown
inv-random
[@0: Charlie is young.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "young" "-")
Fred is round.
Unknown
random
[@0: Fred is round.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "round" "+")
Charlie is not round.
Unknown
inv-random
[@0: Charlie is round.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "round" "-")
Bob is big.
Unknown
random
[@0: Bob is big.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "big" "+")
@0: Alan is big.[(triple4)] Alan is cold.[(triple3)] Alan is green.[(triple2)] Alan is round.[(triple1)] Bob is rough.[(triple5)] Charlie is big.[(triple7)] Charlie is red.[(triple6)] Fred is big.[(triple11)] Fred is blue.[(triple10)] Fred is rough.[(triple9)] Fred is young.[(triple8)] @1: Alan is nice.[(((triple2 triple4) -> rule1))] Alan is red.[(((triple1) -> rule4))] Fred is green.[(((triple10 triple8 triple11) -> rule6))] @2: Fred is kind.[(((((triple10 triple8 triple11) -> rule6) triple9) -> rule5))] Fred is nice.[(((((triple10 triple8 triple11) -> rule6) triple11) -> rule1))] @3: Fred is cold.[(((((((triple10 triple8 triple11) -> rule6) triple9) -> rule5) ((triple10 triple8 triple11) -> rule6)) -> rule7))]
Alan is big.
("Alan" "is" "big" "+")
triple4
Alan is cold.
("Alan" "is" "cold" "+")
triple3
Alan is green.
("Alan" "is" "green" "+")
triple2
Alan is round.
("Alan" "is" "round" "+")
triple1
Bob is rough.
("Bob" "is" "rough" "+")
triple5
Charlie is big.
("Charlie" "is" "big" "+")
triple7
Charlie is red.
("Charlie" "is" "red" "+")
triple6
Fred is big.
("Fred" "is" "big" "+")
triple11
Fred is blue.
("Fred" "is" "blue" "+")
triple10
Fred is rough.
("Fred" "is" "rough" "+")
triple9
Fred is young.
("Fred" "is" "young" "+")
triple8
Alan is nice.
("Alan" "is" "nice" "+")
((triple2 triple4) -> (rule1 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
((triple1) -> (rule4 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
((triple10 triple8 triple11) -> (rule6 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
((((triple10 triple8 triple11) -> (rule6 % int2)) triple9) -> (rule5 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
((((triple10 triple8 triple11) -> (rule6 % int2)) triple11) -> (rule1 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
int2
Fred is cold.
("Fred" "is" "cold" "+")
((((((triple10 triple8 triple11) -> (rule6 % int3)) triple9) -> (rule5 % int2)) ((triple10 triple8 triple11) -> (rule6 % int3))) -> (rule7 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
int2
Fred is green.
("Fred" "is" "green" "+")
int3
Big, round Alan is cold and very green.
They always call him rough Bob.
Charlie is big and tends to wear red shirts.
Fred is a person who is young and also rough; He's also someone who is big and blue.
If someone is green skinned and has a big nose then you'll find that they often are nice to their family.
Among cold people, those who are round and kind are also rough.
Being big and kind like a gentle giant can make anyone blue.
A round person will also be red.
A green colored and rough person will be quite kind.
A young person who is both big and blue is also someone who is green.
Kind people,though green,are cold.