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.
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.