To be young and red like Alan is pretty nice, which Green Alan is also. Because Charlie gets cold easily he tends to appear round from bundling up. Fred is young, rough and green, but he turns blue when he is cold like anyone else. Harry always goes out of his way to show that he is kind to people. Cold and rough people will also surely be round shaped. Nice and blue people have to be big as well. Rough, round persons are also nice persons. Kind people who look green are almost always young in age.
Alan is young.
("Alan" "is" "young" "+")
Alan is red.
("Alan" "is" "red" "+")
Alan is nice.
("Alan" "is" "nice" "+")
Alan is green.
("Alan" "is" "green" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Fred is young.
("Fred" "is" "young" "+")
Fred is rough.
("Fred" "is" "rough" "+")
Fred is green.
("Fred" "is" "green" "+")
Fred is cold.
("Fred" "is" "cold" "+")
Fred is blue.
("Fred" "is" "blue" "+")
Harry is kind.
("Harry" "is" "kind" "+")
If someone is cold and rough then they are round.
((("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "round" "+"))
If someone is nice and blue then they are big.
((("someone" "is" "nice" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "big" "+"))
If someone is rough and round then they are nice.
((("someone" "is" "rough" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
If someone is green and kind then they are young.
((("someone" "is" "green" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "young" "+"))
Harry is kind.
True
1
proof
[(triple12)]
("Harry" "is" "kind" "+")
triple12
Alan is not nice.
False
1
inv-proof
[(triple3)]
("Alan" "is" "nice" "-")
triple3
Fred is round.
True
3
proof
[(((triple10 triple8) -> rule1))]
("Fred" "is" "round" "+")
((triple10 triple8) -> (rule1 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is not round.
False
3
inv-proof
[(((triple10 triple8) -> rule1))]
("Fred" "is" "round" "-")
((triple10 triple8) -> (rule1 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is nice.
True
5
proof
[(((triple8 ((triple10 triple8) -> rule1)) -> rule3))]
("Fred" "is" "nice" "+")
((triple8 ((triple10 triple8) -> (rule1 % int2))) -> (rule3 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
int2
Fred is not nice.
False
5
inv-proof
[(((triple8 ((triple10 triple8) -> rule1)) -> rule3))]
("Fred" "is" "nice" "-")
((triple8 ((triple10 triple8) -> (rule1 % int2))) -> (rule3 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
int2
Fred is big.
True
7
proof
[(((((triple8 ((triple10 triple8) -> rule1)) -> rule3) triple11) -> rule2))]
("Fred" "is" "big" "+")
((((triple8 ((triple10 triple8) -> (rule1 % int3))) -> (rule3 % int2)) triple11) -> (rule2 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Fred is round.
("Fred" "is" "round" "+")
int3
Fred is not big.
False
7
inv-proof
[(((((triple8 ((triple10 triple8) -> rule1)) -> rule3) triple11) -> rule2))]
("Fred" "is" "big" "-")
((((triple8 ((triple10 triple8) -> (rule1 % int3))) -> (rule3 % int2)) triple11) -> (rule2 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Fred is round.
("Fred" "is" "round" "+")
int3
Harry is not big.
Unknown
inv-rconc
[@1: Harry is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "big" "-")
Alan is round.
Unknown
rconc
[@1: Alan is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Alan" "is" "round" "+")
Charlie is not young.
Unknown
inv-rconc
[@1: Charlie is young.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Charlie" "is" "young" "-")
Harry is round.
Unknown
rconc
[@1: Harry is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "round" "+")
Alan is not kind.
Unknown
inv-random
[@0: Alan is kind.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "kind" "-")
Charlie is blue.
Unknown
random
[@0: Charlie is blue.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "blue" "+")
Harry is not cold.
Unknown
inv-random
[@0: Harry is cold.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "cold" "-")
Charlie is rough.
Unknown
random
[@0: Charlie is rough.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "rough" "+")
@0: Alan is green.[(triple4)] Alan is nice.[(triple3)] Alan is red.[(triple2)] Alan is young.[(triple1)] Charlie is cold.[(triple6)] Charlie is round.[(triple5)] Fred is blue.[(triple11)] Fred is cold.[(triple10)] Fred is green.[(triple9)] Fred is rough.[(triple8)] Fred is young.[(triple7)] Harry is kind.[(triple12)] @1: Fred is round.[(((triple10 triple8) -> rule1))] @2: Fred is nice.[(((triple8 ((triple10 triple8) -> rule1)) -> rule3))] @3: Fred is big.[(((((triple8 ((triple10 triple8) -> rule1)) -> rule3) triple11) -> rule2))]
Alan is green.
("Alan" "is" "green" "+")
triple4
Alan is nice.
("Alan" "is" "nice" "+")
triple3
Alan is red.
("Alan" "is" "red" "+")
triple2
Alan is young.
("Alan" "is" "young" "+")
triple1
Charlie is cold.
("Charlie" "is" "cold" "+")
triple6
Charlie is round.
("Charlie" "is" "round" "+")
triple5
Fred is blue.
("Fred" "is" "blue" "+")
triple11
Fred is cold.
("Fred" "is" "cold" "+")
triple10
Fred is green.
("Fred" "is" "green" "+")
triple9
Fred is rough.
("Fred" "is" "rough" "+")
triple8
Fred is young.
("Fred" "is" "young" "+")
triple7
Harry is kind.
("Harry" "is" "kind" "+")
triple12
Fred is round.
("Fred" "is" "round" "+")
((triple10 triple8) -> (rule1 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
((triple8 ((triple10 triple8) -> (rule1 % int2))) -> (rule3 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
int2
Fred is big.
("Fred" "is" "big" "+")
((((triple8 ((triple10 triple8) -> (rule1 % int3))) -> (rule3 % int2)) triple11) -> (rule2 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Fred is round.
("Fred" "is" "round" "+")
int3
To be young and red like Alan is pretty nice, which Green Alan is also.
Because Charlie gets cold easily he tends to appear round from bundling up.
Fred is young, rough and green, but he turns blue when he is cold like anyone else.
Harry always goes out of his way to show that he is kind to people.
Cold and rough people will also surely be round shaped.
Nice and blue people have to be big as well.
Rough, round persons are also nice persons.
Kind people who look green are almost always young in age.