Alan is a kind and red colored guy. Young Bob is wearing green pants. Dave is very nice to people, but he's also rather big. Gary is very young red and kind, however he's green, nice and cold as well. A big person who feels cold and has blue skin is a nice person. A nice person who is green is feeling cold. Big people who are red in color are often nice. Cold, rough people are always green. It's inevitable that young, green people are big. I have noticed that nice people that are green and blue are often round-shaped. Someone who is big and kind is blue.
Alan is red.
("Alan" "is" "red" "+")
Alan is kind.
("Alan" "is" "kind" "+")
Bob is young.
("Bob" "is" "young" "+")
Bob is green.
("Bob" "is" "green" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is big.
("Dave" "is" "big" "+")
Gary is young.
("Gary" "is" "young" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is cold.
("Gary" "is" "cold" "+")
If someone is cold and blue and big then they are nice.
((("someone" "is" "cold" "+") ("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
If someone is green and nice then they are cold.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "cold" "+"))
If someone is big and red then they are nice.
((("someone" "is" "big" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "nice" "+"))
If someone is cold and rough then they are green.
((("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
If someone is young and green then they are big.
((("someone" "is" "young" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
If someone is nice and green and blue then they are round.
((("someone" "is" "nice" "+") ("someone" "is" "green" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
If someone is kind and big then they are blue.
((("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "blue" "+"))
Bob is young.
True
1
proof
[(triple3)]
("Bob" "is" "young" "+")
triple3
Bob is not green.
False
1
inv-proof
[(triple4)]
("Bob" "is" "green" "-")
triple4
Gary is big.
True
3
proof
[(((triple7 triple11) -> rule5))]
("Gary" "is" "big" "+")
((triple7 triple11) -> (rule5 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Bob is not big.
False
3
inv-proof
[(((triple3 triple4) -> rule5))]
("Bob" "is" "big" "-")
((triple3 triple4) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Gary is blue.
True
5
proof
[(((triple10 ((triple7 triple11) -> rule5)) -> rule7))]
("Gary" "is" "blue" "+")
((triple10 ((triple7 triple11) -> (rule5 % int2))) -> (rule7 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is not blue.
False
5
inv-proof
[(((triple10 ((triple7 triple11) -> rule5)) -> rule7))]
("Gary" "is" "blue" "-")
((triple10 ((triple7 triple11) -> (rule5 % int2))) -> (rule7 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is round.
True
8
proof
[(((triple9 triple11 ((triple10 ((triple7 triple11) -> rule5)) -> rule7)) -> rule6) OR ((((((triple7 triple11) -> rule5) triple8) -> rule3) triple11 ((triple10 ((triple7 triple11) -> rule5)) -> rule7)) -> rule6) OR ((((triple12 ((triple10 ((triple7 triple11) -> rule5)) -> rule7) ((triple7 triple11) -> rule5)) -> rule1) triple11 ((triple10 ((triple7 triple11) -> rule5)) -> rule7)) -> rule6))]
("Gary" "is" "round" "+")
((triple9 triple11 ((triple10 ((triple7 triple11) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
((((((triple7 triple11) -> (rule5 % int4)) triple8) -> (rule3 % int3)) triple11 ((triple10 ((triple7 triple11) -> (rule5 % int4))) -> (rule7 % int2))) -> (rule6 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
((((triple12 ((triple10 ((triple7 triple11) -> (rule5 % int4))) -> (rule7 % int3)) ((triple7 triple11) -> (rule5 % int4))) -> (rule1 % int2)) triple11 ((triple10 ((triple7 triple11) -> (rule5 % int4))) -> (rule7 % int3))) -> (rule6 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Gary is not round.
False
8
inv-proof
[(((triple9 triple11 ((triple10 ((triple7 triple11) -> rule5)) -> rule7)) -> rule6) OR ((((((triple7 triple11) -> rule5) triple8) -> rule3) triple11 ((triple10 ((triple7 triple11) -> rule5)) -> rule7)) -> rule6) OR ((((triple12 ((triple10 ((triple7 triple11) -> rule5)) -> rule7) ((triple7 triple11) -> rule5)) -> rule1) triple11 ((triple10 ((triple7 triple11) -> rule5)) -> rule7)) -> rule6))]
("Gary" "is" "round" "-")
((triple9 triple11 ((triple10 ((triple7 triple11) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
((((((triple7 triple11) -> (rule5 % int4)) triple8) -> (rule3 % int3)) triple11 ((triple10 ((triple7 triple11) -> (rule5 % int4))) -> (rule7 % int2))) -> (rule6 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
((((triple12 ((triple10 ((triple7 triple11) -> (rule5 % int4))) -> (rule7 % int3)) ((triple7 triple11) -> (rule5 % int4))) -> (rule1 % int2)) triple11 ((triple10 ((triple7 triple11) -> (rule5 % int4))) -> (rule7 % int3))) -> (rule6 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Dave is not blue.
Unknown
inv-rconc
[@1: Dave is blue.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Dave" "is" "blue" "-")
Alan is blue.
Unknown
rconc
[@2: Alan is blue.[CWA. Example of deepest failure = (rule7 <- rule5 <- FAIL)]]
("Alan" "is" "blue" "+")
Dave is not round.
Unknown
inv-rconc
[@2: Dave is round.[CWA. Example of deepest failure = (rule6 <- rule4 <- FAIL)]]
("Dave" "is" "round" "-")
Bob is round.
Unknown
rconc
[@2: Bob is round.[CWA. Example of deepest failure = (rule6 <- rule7 <- FAIL)]]
("Bob" "is" "round" "+")
Dave is not kind.
Unknown
inv-random
[@0: Dave is kind.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "kind" "-")
Bob is kind.
Unknown
random
[@0: Bob is kind.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "kind" "+")
Alan is not rough.
Unknown
inv-random
[@0: Alan is rough.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "rough" "-")
Dave is red.
Unknown
random
[@0: Dave is red.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "red" "+")
@0: Alan is kind.[(triple2)] Alan is red.[(triple1)] Bob is green.[(triple4)] Bob is young.[(triple3)] Dave is big.[(triple6)] Dave is nice.[(triple5)] Gary is cold.[(triple12 OR ((triple11 triple9) -> rule2) OR ((triple11 ((((triple7 triple11) -> rule5) triple8) -> rule3)) -> rule2))] Gary is green.[(triple11)] Gary is kind.[(triple10)] Gary is nice.[(triple9 OR ((((triple7 triple11) -> rule5) triple8) -> rule3) OR ((triple12 ((triple10 ((triple7 triple11) -> rule5)) -> rule7) ((triple7 triple11) -> rule5)) -> rule1))] Gary is red.[(triple8)] Gary is young.[(triple7)] @1: Bob is big.[(((triple3 triple4) -> rule5))] Gary is big.[(((triple7 triple11) -> rule5))] @2: Gary is blue.[(((triple10 ((triple7 triple11) -> rule5)) -> rule7))] @3: Gary is round.[(((triple9 triple11 ((triple10 ((triple7 triple11) -> rule5)) -> rule7)) -> rule6) OR ((((((triple7 triple11) -> rule5) triple8) -> rule3) triple11 ((triple10 ((triple7 triple11) -> rule5)) -> rule7)) -> rule6) OR ((((triple12 ((triple10 ((triple7 triple11) -> rule5)) -> rule7) ((triple7 triple11) -> rule5)) -> rule1) triple11 ((triple10 ((triple7 triple11) -> rule5)) -> rule7)) -> rule6))]
Alan is kind.
("Alan" "is" "kind" "+")
triple2
Alan is red.
("Alan" "is" "red" "+")
triple1
Bob is green.
("Bob" "is" "green" "+")
triple4
Bob is young.
("Bob" "is" "young" "+")
triple3
Dave is big.
("Dave" "is" "big" "+")
triple6
Dave is nice.
("Dave" "is" "nice" "+")
triple5
Gary is cold.
("Gary" "is" "cold" "+")
triple12
((triple11 triple9) -> (rule2 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
((triple11 ((((triple7 triple11) -> (rule5 % int3)) triple8) -> (rule3 % int2))) -> (rule2 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
triple11
Gary is kind.
("Gary" "is" "kind" "+")
triple10
Gary is nice.
("Gary" "is" "nice" "+")
triple9
((((triple7 triple11) -> (rule5 % int2)) triple8) -> (rule3 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
((triple12 ((triple10 ((triple7 triple11) -> (rule5 % int3))) -> (rule7 % int2)) ((triple7 triple11) -> (rule5 % int3))) -> (rule1 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
triple8
Gary is young.
("Gary" "is" "young" "+")
triple7
Bob is big.
("Bob" "is" "big" "+")
((triple3 triple4) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
((triple7 triple11) -> (rule5 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
((triple10 ((triple7 triple11) -> (rule5 % int2))) -> (rule7 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
((triple9 triple11 ((triple10 ((triple7 triple11) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
((((((triple7 triple11) -> (rule5 % int4)) triple8) -> (rule3 % int3)) triple11 ((triple10 ((triple7 triple11) -> (rule5 % int4))) -> (rule7 % int2))) -> (rule6 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
((((triple12 ((triple10 ((triple7 triple11) -> (rule5 % int4))) -> (rule7 % int3)) ((triple7 triple11) -> (rule5 % int4))) -> (rule1 % int2)) triple11 ((triple10 ((triple7 triple11) -> (rule5 % int4))) -> (rule7 % int3))) -> (rule6 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Alan is a kind and red colored guy.
Young Bob is wearing green pants.
Dave is very nice to people, but he's also rather big.
Gary is very young red and kind, however he's green, nice and cold as well.
A big person who feels cold and has blue skin is a nice person.
A nice person who is green is feeling cold.
Big people who are red in color are often nice.
Cold, rough people are always green.
It's inevitable that young, green people are big.
I have noticed that nice people that are green and blue are often round-shaped.
Someone who is big and kind is blue.