When you meet Bob you'll the two characteristics that will standout is that he's red but also rough. Charlie is so young and darling he is kind to all the old people on the block. Gary is a young, round fellow who is red and green in color. He is also cold. Green, nice people who have round shapes are going to be kind to you. A blue colored, nice but rough person is definitely young too. A green colored, nice and young person will be big shaped. Anybody that is big is also someone who is going to be blue. If a big, red person with a round figure comes up to you, don't worry, they will be very nice. Someone with the traits of being cold and red is also going to be someone who is big. People who are nice and cold are also green.
Bob is rough.
("Bob" "is" "rough" "+")
Bob is red.
("Bob" "is" "red" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Gary is young.
("Gary" "is" "young" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is cold.
("Gary" "is" "cold" "+")
If someone is green and round and nice then they are kind.
((("someone" "is" "green" "+") ("someone" "is" "round" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "kind" "+"))
If someone is nice and blue and rough then they are young.
((("someone" "is" "nice" "+") ("someone" "is" "blue" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "young" "+"))
If someone is young and green and nice then they are big.
((("someone" "is" "young" "+") ("someone" "is" "green" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "big" "+"))
If someone is big then they are blue.
((("someone" "is" "big" "+")) -> ("someone" "is" "blue" "+"))
If someone is big and round and red then they are nice.
((("someone" "is" "big" "+") ("someone" "is" "round" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "nice" "+"))
If someone is cold and red then they are big.
((("someone" "is" "cold" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "big" "+"))
If someone is nice and cold then they are green.
((("someone" "is" "nice" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
Gary is young.
True
1
proof
[(triple5)]
("Gary" "is" "young" "+")
triple5
Gary is not red.
False
1
inv-proof
[(triple7)]
("Gary" "is" "red" "-")
triple7
Gary is big.
True
3
proof
[(((triple9 triple7) -> rule6))]
("Gary" "is" "big" "+")
((triple9 triple7) -> (rule6 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is not big.
False
3
inv-proof
[(((triple9 triple7) -> rule6))]
("Gary" "is" "big" "-")
((triple9 triple7) -> (rule6 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is nice.
True
6
proof
[(((((triple9 triple7) -> rule6) triple6 triple7) -> rule5))]
("Gary" "is" "nice" "+")
((((triple9 triple7) -> (rule6 % int2)) triple6 triple7) -> (rule5 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is not nice.
False
6
inv-proof
[(((((triple9 triple7) -> rule6) triple6 triple7) -> rule5))]
("Gary" "is" "nice" "-")
((((triple9 triple7) -> (rule6 % int2)) triple6 triple7) -> (rule5 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is kind.
True
9
proof
[(((triple8 triple6 ((((triple9 triple7) -> rule6) triple6 triple7) -> rule5)) -> rule1) OR ((((((((triple9 triple7) -> rule6) triple6 triple7) -> rule5) triple9) -> rule7) triple6 ((((triple9 triple7) -> rule6) triple6 triple7) -> rule5)) -> rule1))]
("Gary" "is" "kind" "+")
((triple8 triple6 ((((triple9 triple7) -> (rule6 % int3)) triple6 triple7) -> (rule5 % int2))) -> (rule1 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
((((((((triple9 triple7) -> (rule6 % int4)) triple6 triple7) -> (rule5 % int3)) triple9) -> (rule7 % int2)) triple6 ((((triple9 triple7) -> (rule6 % int4)) triple6 triple7) -> (rule5 % int3))) -> (rule1 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Gary is not kind.
False
9
inv-proof
[(((triple8 triple6 ((((triple9 triple7) -> rule6) triple6 triple7) -> rule5)) -> rule1) OR ((((((((triple9 triple7) -> rule6) triple6 triple7) -> rule5) triple9) -> rule7) triple6 ((((triple9 triple7) -> rule6) triple6 triple7) -> rule5)) -> rule1))]
("Gary" "is" "kind" "-")
((triple8 triple6 ((((triple9 triple7) -> (rule6 % int3)) triple6 triple7) -> (rule5 % int2))) -> (rule1 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
((((((((triple9 triple7) -> (rule6 % int4)) triple6 triple7) -> (rule5 % int3)) triple9) -> (rule7 % int2)) triple6 ((((triple9 triple7) -> (rule6 % int4)) triple6 triple7) -> (rule5 % int3))) -> (rule1 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Harry is not green.
Unknown
inv-rconc
[@1: Harry is green.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Harry" "is" "green" "-")
Charlie is green.
Unknown
rconc
[@1: Charlie is green.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Charlie" "is" "green" "+")
Harry is not young.
Unknown
inv-rconc
[@1: Harry is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "young" "-")
Harry is kind.
Unknown
rconc
[@1: Harry is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "kind" "+")
Gary is not rough.
Unknown
inv-random
[@0: Gary is rough.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "rough" "-")
Harry is cold.
Unknown
random
[@0: Harry is cold.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "cold" "+")
Bob is not cold.
Unknown
inv-random
[@0: Bob is cold.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "cold" "-")
Charlie is cold.
Unknown
random
[@0: Charlie is cold.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "cold" "+")
@0: Bob is red.[(triple2)] Bob is rough.[(triple1)] Charlie is kind.[(triple4)] Charlie is young.[(triple3)] Gary is cold.[(triple9)] Gary is green.[(triple8 OR ((((((triple9 triple7) -> rule6) triple6 triple7) -> rule5) triple9) -> rule7))] Gary is red.[(triple7)] Gary is round.[(triple6)] Gary is young.[(triple5)] @1: Gary is big.[(((triple9 triple7) -> rule6))] @2: Gary is blue.[(((((triple9 triple7) -> rule6)) -> rule4))] Gary is nice.[(((((triple9 triple7) -> rule6) triple6 triple7) -> rule5))] @3: Gary is kind.[(((triple8 triple6 ((((triple9 triple7) -> rule6) triple6 triple7) -> rule5)) -> rule1) OR ((((((((triple9 triple7) -> rule6) triple6 triple7) -> rule5) triple9) -> rule7) triple6 ((((triple9 triple7) -> rule6) triple6 triple7) -> rule5)) -> rule1))]
Bob is red.
("Bob" "is" "red" "+")
triple2
Bob is rough.
("Bob" "is" "rough" "+")
triple1
Charlie is kind.
("Charlie" "is" "kind" "+")
triple4
Charlie is young.
("Charlie" "is" "young" "+")
triple3
Gary is cold.
("Gary" "is" "cold" "+")
triple9
Gary is green.
("Gary" "is" "green" "+")
triple8
((((((triple9 triple7) -> (rule6 % int3)) triple6 triple7) -> (rule5 % int2)) triple9) -> (rule7 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
triple7
Gary is round.
("Gary" "is" "round" "+")
triple6
Gary is young.
("Gary" "is" "young" "+")
triple5
Gary is big.
("Gary" "is" "big" "+")
((triple9 triple7) -> (rule6 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
((((triple9 triple7) -> (rule6 % int2))) -> (rule4 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
((((triple9 triple7) -> (rule6 % int2)) triple6 triple7) -> (rule5 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
((triple8 triple6 ((((triple9 triple7) -> (rule6 % int3)) triple6 triple7) -> (rule5 % int2))) -> (rule1 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
((((((((triple9 triple7) -> (rule6 % int4)) triple6 triple7) -> (rule5 % int3)) triple9) -> (rule7 % int2)) triple6 ((((triple9 triple7) -> (rule6 % int4)) triple6 triple7) -> (rule5 % int3))) -> (rule1 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
When you meet Bob you'll the two characteristics that will standout is that he's red but also rough.
Charlie is so young and darling he is kind to all the old people on the block.
Gary is a young, round fellow who is red and green in color; He is also cold.
Green, nice people who have round shapes are going to be kind to you.
A blue colored, nice but rough person is definitely young too.
A green colored, nice and young person will be big shaped.
Anybody that is big is also someone who is going to be blue.
If a big, red person with a round figure comes up to you, don't worry, they will be very nice.
Someone with the traits of being cold and red is also going to be someone who is big.
People who are nice and cold are also green.