Alan is blue and cold. Charlie is rough, but often feels blue. He is pretty young. To the touch Gary has rough, cold skin. Harry is both big and round, with blue features. A young aged and blue colored person will certainly be round. Someone can be very nice and kind, and this means they are also green. A human that's cold also means they are a human that is young. Nice people who are big are always feeling blue. People who are round and young are also quite nice.
If someone is young and blue then they are round.
((("someone" "is" "young" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
If someone is nice and kind then they are green.
((("someone" "is" "nice" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "green" "+"))
If someone is cold then they are young.
((("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
If someone is nice and big then they are blue.
((("someone" "is" "nice" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "blue" "+"))
If someone is young and round then they are nice.
((("someone" "is" "young" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
Alan is blue.
True
1
proof
[(triple2)]
("Alan" "is" "blue" "+")
triple2
Gary is not cold.
False
1
inv-proof
[(triple7)]
("Gary" "is" "cold" "-")
triple7
Charlie is round.
True
3
proof
[(((triple3 triple5) -> rule1))]
("Charlie" "is" "round" "+")
((triple3 triple5) -> (rule1 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is not round.
False
3
inv-proof
[(((triple3 triple5) -> rule1))]
("Charlie" "is" "round" "-")
((triple3 triple5) -> (rule1 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is nice.
True
5
proof
[(((triple3 ((triple3 triple5) -> rule1)) -> rule5))]
("Charlie" "is" "nice" "+")
((triple3 ((triple3 triple5) -> (rule1 % int2))) -> (rule5 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Alan is not round.
False
4
inv-proof
[(((((triple1) -> rule3) triple2) -> rule1))]
("Alan" "is" "round" "-")
((((triple1) -> (rule3 % int2)) triple2) -> (rule1 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is nice.
True
7
proof
[(((((triple1) -> rule3) ((((triple1) -> rule3) triple2) -> rule1)) -> rule5))]
("Alan" "is" "nice" "+")
((((triple1) -> (rule3 % int3)) ((((triple1) -> (rule3 % int3)) triple2) -> (rule1 % int2))) -> (rule5 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
int2
Alan is young.
("Alan" "is" "young" "+")
int3
Alan is not nice.
False
7
inv-proof
[(((((triple1) -> rule3) ((((triple1) -> rule3) triple2) -> rule1)) -> rule5))]
("Alan" "is" "nice" "-")
((((triple1) -> (rule3 % int3)) ((((triple1) -> (rule3 % int3)) triple2) -> (rule1 % int2))) -> (rule5 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
int2
Alan is young.
("Alan" "is" "young" "+")
int3
Charlie is not green.
Unknown
inv-rconc
[@1: Charlie is green.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "green" "-")
Gary is blue.
Unknown
rconc
[@1: Gary is blue.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Gary" "is" "blue" "+")
Harry is not green.
Unknown
inv-rconc
[@1: Harry is green.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "green" "-")
Gary is nice.
Unknown
rconc
[@3: Gary is nice.[CWA. Example of deepest failure = (rule5 <- rule1 <- rule4 <- FAIL)]]
("Gary" "is" "nice" "+")
Harry is not rough.
Unknown
inv-random
[@0: Harry is rough.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "rough" "-")
Charlie is red.
Unknown
random
[@0: Charlie is red.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "red" "+")
Alan is not rough.
Unknown
inv-random
[@0: Alan is rough.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "rough" "-")
Alan is big.
Unknown
random
[@0: Alan is big.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "big" "+")
@0: Alan is blue.[(triple2)] Alan is cold.[(triple1)] Charlie is blue.[(triple5)] Charlie is rough.[(triple4)] Charlie is young.[(triple3)] Gary is cold.[(triple7)] Gary is rough.[(triple6)] Harry is big.[(triple10)] Harry is blue.[(triple9)] Harry is round.[(triple8)] @1: Alan is young.[(((triple1) -> rule3))] Charlie is round.[(((triple3 triple5) -> rule1))] Gary is young.[(((triple7) -> rule3))] @2: Alan is round.[(((((triple1) -> rule3) triple2) -> rule1))] Charlie is nice.[(((triple3 ((triple3 triple5) -> rule1)) -> rule5))] @3: Alan is nice.[(((((triple1) -> rule3) ((((triple1) -> rule3) triple2) -> rule1)) -> rule5))]
Alan is blue.
("Alan" "is" "blue" "+")
triple2
Alan is cold.
("Alan" "is" "cold" "+")
triple1
Charlie is blue.
("Charlie" "is" "blue" "+")
triple5
Charlie is rough.
("Charlie" "is" "rough" "+")
triple4
Charlie is young.
("Charlie" "is" "young" "+")
triple3
Gary is cold.
("Gary" "is" "cold" "+")
triple7
Gary is rough.
("Gary" "is" "rough" "+")
triple6
Harry is big.
("Harry" "is" "big" "+")
triple10
Harry is blue.
("Harry" "is" "blue" "+")
triple9
Harry is round.
("Harry" "is" "round" "+")
triple8
Alan is young.
("Alan" "is" "young" "+")
((triple1) -> (rule3 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
((triple3 triple5) -> (rule1 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
((triple7) -> (rule3 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
((((triple1) -> (rule3 % int2)) triple2) -> (rule1 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
((triple3 ((triple3 triple5) -> (rule1 % int2))) -> (rule5 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Alan is nice.
("Alan" "is" "nice" "+")
((((triple1) -> (rule3 % int3)) ((((triple1) -> (rule3 % int3)) triple2) -> (rule1 % int2))) -> (rule5 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
int2
Alan is young.
("Alan" "is" "young" "+")
int3
Alan is blue and cold.
Charlie is rough, but often feels blue; He is pretty young.
To the touch Gary has rough, cold skin.
Harry is both big and round, with blue features.
A young aged and blue colored person will certainly be round.
Someone can be very nice and kind, and this means they are also green.
A human that's cold also means they are a human that is young.
Nice people who are big are always feeling blue.
People who are round and young are also quite nice.