Bob is rough, but often feels blue. He is pretty young. Big, red Dave is quite kind. In the snow sits Fred, crying from being cold. Young Gary is kind and perpetually cold, especially during the winter holidays when he is green and red. Young and nice people have great big smiles. A nice person who is always seen to be wearing green clothes will be rather big in size. If someone is blue, young, and rough, they qualify as being round. When someone is nice, dressing in red, they can be blue because they are cold. A person described as cold and kind can also be described as nice. Rough young folks are surprisingly kind. If you meet a young and kind person who is also rough, they are cold, too.
Bob is young.
("Bob" "is" "young" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is big.
("Dave" "is" "big" "+")
Fred is cold.
("Fred" "is" "cold" "+")
Gary is young.
("Gary" "is" "young" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is cold.
("Gary" "is" "cold" "+")
If someone is young and nice then they are big.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "big" "+"))
If someone is green and nice then they are big.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "big" "+"))
If someone is rough and young and blue then they are round.
((("someone" "is" "rough" "+") ("someone" "is" "young" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
If someone is nice and blue and red then they are cold.
((("someone" "is" "nice" "+") ("someone" "is" "blue" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
If someone is cold and kind then they are nice.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "+"))
If someone is young and rough then they are kind.
((("someone" "is" "young" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
If someone is rough and young and kind then they are cold.
((("someone" "is" "rough" "+") ("someone" "is" "young" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
Gary is young.
True
1
proof
[(triple8)]
("Gary" "is" "young" "+")
triple8
Bob is not blue.
False
1
inv-proof
[(triple3)]
("Bob" "is" "blue" "-")
triple3
Bob is kind.
True
3
proof
[(((triple1 triple2) -> rule6))]
("Bob" "is" "kind" "+")
((triple1 triple2) -> (rule6 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Gary is not nice.
False
3
inv-proof
[(((triple12 triple10) -> rule5))]
("Gary" "is" "nice" "-")
((triple12 triple10) -> (rule5 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Bob is cold.
True
6
proof
[(((triple2 triple1 ((triple1 triple2) -> rule6)) -> rule7))]
("Bob" "is" "cold" "+")
((triple2 triple1 ((triple1 triple2) -> (rule6 % int2))) -> (rule7 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Gary is not big.
False
5
inv-proof
[(((triple11 ((triple12 triple10) -> rule5)) -> rule2) OR ((triple8 ((triple12 triple10) -> rule5)) -> rule1))]
("Gary" "is" "big" "-")
((triple11 ((triple12 triple10) -> (rule5 % int2))) -> (rule2 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
((triple8 ((triple12 triple10) -> (rule5 % int2))) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Bob is nice.
True
10
proof
[(((((triple2 triple1 ((triple1 triple2) -> rule6)) -> rule7) ((triple1 triple2) -> rule6)) -> rule5))]
("Bob" "is" "nice" "+")
((((triple2 triple1 ((triple1 triple2) -> (rule6 % int3))) -> (rule7 % int2)) ((triple1 triple2) -> (rule6 % int3))) -> (rule5 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is not nice.
False
10
inv-proof
[(((((triple2 triple1 ((triple1 triple2) -> rule6)) -> rule7) ((triple1 triple2) -> rule6)) -> rule5))]
("Bob" "is" "nice" "-")
((((triple2 triple1 ((triple1 triple2) -> (rule6 % int3))) -> (rule7 % int2)) ((triple1 triple2) -> (rule6 % int3))) -> (rule5 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is big.
True
12
proof
[(((triple1 ((((triple2 triple1 ((triple1 triple2) -> rule6)) -> rule7) ((triple1 triple2) -> rule6)) -> rule5)) -> rule1))]
("Bob" "is" "big" "+")
((triple1 ((((triple2 triple1 ((triple1 triple2) -> (rule6 % int4))) -> (rule7 % int3)) ((triple1 triple2) -> (rule6 % int4))) -> (rule5 % int2))) -> (rule1 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is not big.
False
12
inv-proof
[(((triple1 ((((triple2 triple1 ((triple1 triple2) -> rule6)) -> rule7) ((triple1 triple2) -> rule6)) -> rule5)) -> rule1))]
("Bob" "is" "big" "-")
((triple1 ((((triple2 triple1 ((triple1 triple2) -> (rule6 % int4))) -> (rule7 % int3)) ((triple1 triple2) -> (rule6 % int4))) -> (rule5 % int2))) -> (rule1 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Fred is not nice.
Unknown
inv-rconc
[@2: Fred is nice.[CWA. Example of deepest failure = (rule5 <- rule6 <- FAIL)]]
("Fred" "is" "nice" "-")
Dave is round.
Unknown
rconc
[@1: Dave is round.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Dave" "is" "round" "+")
Fred is not round.
Unknown
inv-rconc
[@1: Fred is round.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Fred" "is" "round" "-")
Fred is big.
Unknown
rconc
[@1: Fred is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fred" "is" "big" "+")
Gary is not round.
Unknown
inv-rconc
[@1: Gary is round.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Gary" "is" "round" "-")
Dave is rough.
Unknown
random
[@0: Dave is rough.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "rough" "+")
Fred is not blue.
Unknown
inv-random
[@0: Fred is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "blue" "-")
Fred is rough.
Unknown
random
[@0: Fred is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "rough" "+")
Bob is not green.
Unknown
inv-random
[@0: Bob is green.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "green" "-")
Gary is blue.
Unknown
random
[@0: Gary is blue.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "blue" "+")
@0: Bob is blue.[(triple3)] Bob is rough.[(triple2)] Bob is young.[(triple1)] Dave is big.[(triple6)] Dave is kind.[(triple5)] Dave is red.[(triple4)] Fred is cold.[(triple7)] Gary is cold.[(triple12)] Gary is green.[(triple11)] Gary is kind.[(triple10)] Gary is red.[(triple9)] Gary is young.[(triple8)] @1: Bob is kind.[(((triple1 triple2) -> rule6))] Bob is round.[(((triple2 triple1 triple3) -> rule3))] Gary is nice.[(((triple12 triple10) -> rule5))] @2: Bob is cold.[(((triple2 triple1 ((triple1 triple2) -> rule6)) -> rule7))] Gary is big.[(((triple11 ((triple12 triple10) -> rule5)) -> rule2) OR ((triple8 ((triple12 triple10) -> rule5)) -> rule1))] @3: Bob is nice.[(((((triple2 triple1 ((triple1 triple2) -> rule6)) -> rule7) ((triple1 triple2) -> rule6)) -> rule5))] @4: Bob is big.[(((triple1 ((((triple2 triple1 ((triple1 triple2) -> rule6)) -> rule7) ((triple1 triple2) -> rule6)) -> rule5)) -> rule1))]
Bob is blue.
("Bob" "is" "blue" "+")
triple3
Bob is rough.
("Bob" "is" "rough" "+")
triple2
Bob is young.
("Bob" "is" "young" "+")
triple1
Dave is big.
("Dave" "is" "big" "+")
triple6
Dave is kind.
("Dave" "is" "kind" "+")
triple5
Dave is red.
("Dave" "is" "red" "+")
triple4
Fred is cold.
("Fred" "is" "cold" "+")
triple7
Gary is cold.
("Gary" "is" "cold" "+")
triple12
Gary is green.
("Gary" "is" "green" "+")
triple11
Gary is kind.
("Gary" "is" "kind" "+")
triple10
Gary is red.
("Gary" "is" "red" "+")
triple9
Gary is young.
("Gary" "is" "young" "+")
triple8
Bob is kind.
("Bob" "is" "kind" "+")
((triple1 triple2) -> (rule6 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
((triple2 triple1 triple3) -> (rule3 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
((triple12 triple10) -> (rule5 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
((triple2 triple1 ((triple1 triple2) -> (rule6 % int2))) -> (rule7 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
((triple11 ((triple12 triple10) -> (rule5 % int2))) -> (rule2 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
((triple8 ((triple12 triple10) -> (rule5 % int2))) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
((((triple2 triple1 ((triple1 triple2) -> (rule6 % int3))) -> (rule7 % int2)) ((triple1 triple2) -> (rule6 % int3))) -> (rule5 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
((triple1 ((((triple2 triple1 ((triple1 triple2) -> (rule6 % int4))) -> (rule7 % int3)) ((triple1 triple2) -> (rule6 % int4))) -> (rule5 % int2))) -> (rule1 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is rough, but often feels blue; He is pretty young.
Big, red Dave is quite kind.
In the snow sits Fred, crying from being cold.
Young Gary is kind and perpetually cold, especially during the winter holidays when he is green and red.
Young and nice people have great big smiles.
A nice person who is always seen to be wearing green clothes will be rather big in size.
If someone is blue, young, and rough, they qualify as being round.
When someone is nice, dressing in red, they can be blue because they are cold.
A person described as cold and kind can also be described as nice.
Rough young folks are surprisingly kind.
If you meet a young and kind person who is also rough, they are cold, too.