Bob is young but big for his age and he's cold and red at the moment too. Gary is blue just like his dog. Gary is rough and round enough for the dog to use him as an exercise wheel. Young Harry is quite nice, and because he is so round can be considered quite big. Big and round people who arent cold, tend to be very kind. Anyone in the world who is nice, red, and young, is simultaneously rough. A quite nice person will certainly be red. Rough young folks are surprisingly kind.
Bob is young.
("Bob" "is" "young" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is big.
("Bob" "is" "big" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Harry is young.
("Harry" "is" "young" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is cold and big and round then they are kind.
((("someone" "is" "cold" "+") ("someone" "is" "big" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "kind" "+"))
If someone is nice and red and young then they are rough.
((("someone" "is" "nice" "+") ("someone" "is" "red" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
If someone is nice then they are red.
((("someone" "is" "nice" "+")) -> ("someone" "is" "red" "+"))
If someone is young and rough then they are kind.
((("someone" "is" "young" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
Gary is rough.
True
1
proof
[(triple6)]
("Gary" "is" "rough" "+")
triple6
Bob is not young.
False
1
inv-proof
[(triple1)]
("Bob" "is" "young" "-")
triple1
Harry is red.
True
2
proof
[(((triple10) -> rule3))]
("Harry" "is" "red" "+")
((triple10) -> (rule3 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is not red.
False
2
inv-proof
[(((triple10) -> rule3))]
("Harry" "is" "red" "-")
((triple10) -> (rule3 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is rough.
True
5
proof
[(((triple10 ((triple10) -> rule3) triple8) -> rule2))]
("Harry" "is" "rough" "+")
((triple10 ((triple10) -> (rule3 % int2)) triple8) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is not rough.
False
5
inv-proof
[(((triple10 ((triple10) -> rule3) triple8) -> rule2))]
("Harry" "is" "rough" "-")
((triple10 ((triple10) -> (rule3 % int2)) triple8) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is kind.
True
7
proof
[(((triple8 ((triple10 ((triple10) -> rule3) triple8) -> rule2)) -> rule4))]
("Harry" "is" "kind" "+")
((triple8 ((triple10 ((triple10) -> (rule3 % int3)) triple8) -> (rule2 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is not kind.
False
7
inv-proof
[(((triple8 ((triple10 ((triple10) -> rule3) triple8) -> rule2)) -> rule4))]
("Harry" "is" "kind" "-")
((triple8 ((triple10 ((triple10) -> (rule3 % int3)) triple8) -> (rule2 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Gary is not red.
Unknown
inv-rconc
[@1: Gary is red.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Gary" "is" "red" "-")
Bob is rough.
Unknown
rconc
[@1: Bob is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "rough" "+")
Alan is not kind.
Unknown
inv-rconc
[@1: Alan is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Alan" "is" "kind" "-")
Alan is rough.
Unknown
rconc
[@1: Alan is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Alan" "is" "rough" "+")
Harry is not green.
Unknown
inv-random
[@0: Harry is green.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "green" "-")
Bob is round.
Unknown
random
[@0: Bob is round.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "round" "+")
Gary is not green.
Unknown
inv-random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "-")
Alan is big.
Unknown
random
[@0: Alan is big.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "big" "+")
@0: Bob is big.[(triple4)] Bob is cold.[(triple3)] Bob is red.[(triple2)] Bob is young.[(triple1)] Gary is blue.[(triple7)] Gary is rough.[(triple6)] Gary is round.[(triple5)] Harry is big.[(triple11)] Harry is nice.[(triple10)] Harry is round.[(triple9)] Harry is young.[(triple8)] @1: Harry is red.[(((triple10) -> rule3))] @2: Harry is rough.[(((triple10 ((triple10) -> rule3) triple8) -> rule2))] @3: Harry is kind.[(((triple8 ((triple10 ((triple10) -> rule3) triple8) -> rule2)) -> rule4))]
Bob is big.
("Bob" "is" "big" "+")
triple4
Bob is cold.
("Bob" "is" "cold" "+")
triple3
Bob is red.
("Bob" "is" "red" "+")
triple2
Bob is young.
("Bob" "is" "young" "+")
triple1
Gary is blue.
("Gary" "is" "blue" "+")
triple7
Gary is rough.
("Gary" "is" "rough" "+")
triple6
Gary is round.
("Gary" "is" "round" "+")
triple5
Harry is big.
("Harry" "is" "big" "+")
triple11
Harry is nice.
("Harry" "is" "nice" "+")
triple10
Harry is round.
("Harry" "is" "round" "+")
triple9
Harry is young.
("Harry" "is" "young" "+")
triple8
Harry is red.
("Harry" "is" "red" "+")
((triple10) -> (rule3 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
((triple10 ((triple10) -> (rule3 % int2)) triple8) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
((triple8 ((triple10 ((triple10) -> (rule3 % int3)) triple8) -> (rule2 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Bob is young but big for his age and he's cold and red at the moment too.
Gary is blue just like his dog; Gary is rough and round enough for the dog to use him as an exercise wheel.
Young Harry is quite nice, and because he is so round can be considered quite big.
Big and round people who arent cold, tend to be very kind.
Anyone in the world who is nice, red, and young, is simultaneously rough.
A quite nice person will certainly be red.
Rough young folks are surprisingly kind.