Bob is a big young boy with a bit of a rough streak. Most of the times he is nice, especially when his skin is green and blue. Charlie was feeling red with anger after the fight, but he was still a nice but big human being. Dave is big and rough. A blue person who is feeling a bit rough and cold will be wearing red. Big and round people can't help but be cold all of the time. A young person who is red and green is also going to look round. I have noticed that nice people that are green and blue are often round-shaped. Invariably, any young person whose skin appears rough and green is bound to be quite big. A young, cold person is often blue.
Bob is young.
("Bob" "is" "young" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is big.
("Bob" "is" "big" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is big.
("Dave" "is" "big" "+")
If someone is blue and cold and rough then they are red.
((("someone" "is" "blue" "+") ("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
If someone is big and round then they are cold.
((("someone" "is" "big" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "cold" "+"))
If someone is young and green and red then they are round.
((("someone" "is" "young" "+") ("someone" "is" "green" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "round" "+"))
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 young and green and rough then they are big.
((("someone" "is" "young" "+") ("someone" "is" "green" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
If someone is cold and young then they are blue.
((("someone" "is" "cold" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "blue" "+"))
Bob is nice.
True
1
proof
[(triple3)]
("Bob" "is" "nice" "+")
triple3
Bob is not young.
False
1
inv-proof
[(triple1)]
("Bob" "is" "young" "-")
triple1
Bob is round.
True
4
proof
[(((triple3 triple4 triple5) -> rule4))]
("Bob" "is" "round" "+")
((triple3 triple4 triple5) -> (rule4 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is not round.
False
4
inv-proof
[(((triple3 triple4 triple5) -> rule4))]
("Bob" "is" "round" "-")
((triple3 triple4 triple5) -> (rule4 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is cold.
True
6
proof
[(((triple6 ((triple3 triple4 triple5) -> rule4)) -> rule2) OR ((((triple1 triple4 triple2) -> rule5) ((triple3 triple4 triple5) -> rule4)) -> rule2))]
("Bob" "is" "cold" "+")
((triple6 ((triple3 triple4 triple5) -> (rule4 % int2))) -> (rule2 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
((((triple1 triple4 triple2) -> (rule5 % int3)) ((triple3 triple4 triple5) -> (rule4 % int2))) -> (rule2 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is not cold.
False
6
inv-proof
[(((triple6 ((triple3 triple4 triple5) -> rule4)) -> rule2) OR ((((triple1 triple4 triple2) -> rule5) ((triple3 triple4 triple5) -> rule4)) -> rule2))]
("Bob" "is" "cold" "-")
((triple6 ((triple3 triple4 triple5) -> (rule4 % int2))) -> (rule2 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
((((triple1 triple4 triple2) -> (rule5 % int3)) ((triple3 triple4 triple5) -> (rule4 % int2))) -> (rule2 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is red.
True
9
proof
[(((triple5 ((triple6 ((triple3 triple4 triple5) -> rule4)) -> rule2) triple2) -> rule1) OR ((triple5 ((((triple1 triple4 triple2) -> rule5) ((triple3 triple4 triple5) -> rule4)) -> rule2) triple2) -> rule1))]
("Bob" "is" "red" "+")
((triple5 ((triple6 ((triple3 triple4 triple5) -> (rule4 % int3))) -> (rule2 % int2)) triple2) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
((triple5 ((((triple1 triple4 triple2) -> (rule5 % int4)) ((triple3 triple4 triple5) -> (rule4 % int3))) -> (rule2 % int2)) triple2) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
Bob is not red.
False
9
inv-proof
[(((triple5 ((triple6 ((triple3 triple4 triple5) -> rule4)) -> rule2) triple2) -> rule1) OR ((triple5 ((((triple1 triple4 triple2) -> rule5) ((triple3 triple4 triple5) -> rule4)) -> rule2) triple2) -> rule1))]
("Bob" "is" "red" "-")
((triple5 ((triple6 ((triple3 triple4 triple5) -> (rule4 % int3))) -> (rule2 % int2)) triple2) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
((triple5 ((((triple1 triple4 triple2) -> (rule5 % int4)) ((triple3 triple4 triple5) -> (rule4 % int3))) -> (rule2 % int2)) triple2) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
Charlie is not round.
Unknown
inv-rconc
[@1: Charlie is round.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Charlie" "is" "round" "-")
Dave is round.
Unknown
rconc
[@1: Dave is round.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Dave" "is" "round" "+")
Dave is not blue.
Unknown
inv-rconc
[@1: Dave is blue.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Dave" "is" "blue" "-")
Alan is red.
Unknown
rconc
[@1: Alan is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Alan" "is" "red" "+")
Alan is not nice.
Unknown
inv-random
[@0: Alan is nice.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "nice" "-")
Charlie is young.
Unknown
random
[@0: Charlie is young.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "young" "+")
Alan is not kind.
Unknown
inv-random
[@0: Alan is kind.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "kind" "-")
Alan is green.
Unknown
random
[@0: Alan is green.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "green" "+")
@0: Bob is big.[(triple6 OR ((triple1 triple4 triple2) -> rule5))] Bob is blue.[(triple5)] Bob is green.[(triple4)] Bob is nice.[(triple3)] Bob is rough.[(triple2)] Bob is young.[(triple1)] Charlie is big.[(triple9)] Charlie is nice.[(triple8)] Charlie is red.[(triple7)] Dave is big.[(triple11)] Dave is rough.[(triple10)] @1: Bob is round.[(((triple3 triple4 triple5) -> rule4))] @2: Bob is cold.[(((triple6 ((triple3 triple4 triple5) -> rule4)) -> rule2) OR ((((triple1 triple4 triple2) -> rule5) ((triple3 triple4 triple5) -> rule4)) -> rule2))] @3: Bob is red.[(((triple5 ((triple6 ((triple3 triple4 triple5) -> rule4)) -> rule2) triple2) -> rule1) OR ((triple5 ((((triple1 triple4 triple2) -> rule5) ((triple3 triple4 triple5) -> rule4)) -> rule2) triple2) -> rule1))]
Bob is big.
("Bob" "is" "big" "+")
triple6
((triple1 triple4 triple2) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
triple5
Bob is green.
("Bob" "is" "green" "+")
triple4
Bob is nice.
("Bob" "is" "nice" "+")
triple3
Bob is rough.
("Bob" "is" "rough" "+")
triple2
Bob is young.
("Bob" "is" "young" "+")
triple1
Charlie is big.
("Charlie" "is" "big" "+")
triple9
Charlie is nice.
("Charlie" "is" "nice" "+")
triple8
Charlie is red.
("Charlie" "is" "red" "+")
triple7
Dave is big.
("Dave" "is" "big" "+")
triple11
Dave is rough.
("Dave" "is" "rough" "+")
triple10
Bob is round.
("Bob" "is" "round" "+")
((triple3 triple4 triple5) -> (rule4 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
((triple6 ((triple3 triple4 triple5) -> (rule4 % int2))) -> (rule2 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
((((triple1 triple4 triple2) -> (rule5 % int3)) ((triple3 triple4 triple5) -> (rule4 % int2))) -> (rule2 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
((triple5 ((triple6 ((triple3 triple4 triple5) -> (rule4 % int3))) -> (rule2 % int2)) triple2) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
((triple5 ((((triple1 triple4 triple2) -> (rule5 % int4)) ((triple3 triple4 triple5) -> (rule4 % int3))) -> (rule2 % int2)) triple2) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
Bob is a big young boy with a bit of a rough streak; Most of the times he is nice, especially when his skin is green and blue.
Charlie was feeling red with anger after the fight, but he was still a nice but big human being.
Dave is big and rough.
A blue person who is feeling a bit rough and cold will be wearing red.
Big and round people can't help but be cold all of the time.
A young person who is red and green is also going to look round.
I have noticed that nice people that are green and blue are often round-shaped.
Invariably, any young person whose skin appears rough and green is bound to be quite big.
A young, cold person is often blue.