Alan looks red to most people, with blue features. Eric is a man who is both round and rough. Gary is big and dresses in blue. There is a very nice young man with a round body who is wearing green named Harry. Kind, young, green persons are sure to be rough persons, too. A rough person who is young and nice is also red. Humans who are nice to others while they are young and red will also be green. Young people are rough. A green and red colored person who has a nice temperament will be cold. Anyone that's described as young, kind and blue can be said to be cold, too.
If someone is kind and young and green then they are rough.
((("someone" "is" "kind" "+") ("someone" "is" "young" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "rough" "+"))
If someone is young and nice and rough then they are red.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
If someone is nice and young and red then they are green.
((("someone" "is" "nice" "+") ("someone" "is" "young" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "green" "+"))
If someone is young then they are rough.
((("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
If someone is green and nice and red then they are cold.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
If someone is young and blue and kind then they are cold.
((("someone" "is" "young" "+") ("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
Eric is rough.
True
1
proof
[(triple4)]
("Eric" "is" "rough" "+")
triple4
Harry is not nice.
False
1
inv-proof
[(triple9)]
("Harry" "is" "nice" "-")
triple9
Harry is rough.
True
2
proof
[(((triple7) -> rule4))]
("Harry" "is" "rough" "+")
((triple7) -> (rule4 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is not rough.
False
2
inv-proof
[(((triple7) -> rule4))]
("Harry" "is" "rough" "-")
((triple7) -> (rule4 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is red.
True
5
proof
[(((triple7 triple9 ((triple7) -> rule4)) -> rule2))]
("Harry" "is" "red" "+")
((triple7 triple9 ((triple7) -> (rule4 % int2))) -> (rule2 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is not red.
False
5
inv-proof
[(((triple7 triple9 ((triple7) -> rule4)) -> rule2))]
("Harry" "is" "red" "-")
((triple7 triple9 ((triple7) -> (rule4 % int2))) -> (rule2 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is cold.
True
8
proof
[(((triple10 triple9 ((triple7 triple9 ((triple7) -> rule4)) -> rule2)) -> rule5) OR ((((triple9 triple7 ((triple7 triple9 ((triple7) -> rule4)) -> rule2)) -> rule3) triple9 ((triple7 triple9 ((triple7) -> rule4)) -> rule2)) -> rule5))]
("Harry" "is" "cold" "+")
((triple10 triple9 ((triple7 triple9 ((triple7) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
((((triple9 triple7 ((triple7 triple9 ((triple7) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule3 % int2)) triple9 ((triple7 triple9 ((triple7) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule5 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
Harry is not cold.
False
8
inv-proof
[(((triple10 triple9 ((triple7 triple9 ((triple7) -> rule4)) -> rule2)) -> rule5) OR ((((triple9 triple7 ((triple7 triple9 ((triple7) -> rule4)) -> rule2)) -> rule3) triple9 ((triple7 triple9 ((triple7) -> rule4)) -> rule2)) -> rule5))]
("Harry" "is" "cold" "-")
((triple10 triple9 ((triple7 triple9 ((triple7) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
((((triple9 triple7 ((triple7 triple9 ((triple7) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule3 % int2)) triple9 ((triple7 triple9 ((triple7) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule5 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
Eric is not cold.
Unknown
inv-rconc
[@1: Eric is cold.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Eric" "is" "cold" "-")
Alan is green.
Unknown
rconc
[@1: Alan is green.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Alan" "is" "green" "+")
Eric is not green.
Unknown
inv-rconc
[@1: Eric is green.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Eric" "is" "green" "-")
Eric is red.
Unknown
rconc
[@1: Eric is red.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Eric" "is" "red" "+")
Harry is not kind.
Unknown
inv-random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "-")
Gary is kind.
Unknown
random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "+")
Eric is not kind.
Unknown
inv-random
[@0: Eric is kind.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "kind" "-")
Eric is big.
Unknown
random
[@0: Eric is big.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "big" "+")
@0: Alan is blue.[(triple2)] Alan is red.[(triple1)] Eric is rough.[(triple4)] Eric is round.[(triple3)] Gary is big.[(triple6)] Gary is blue.[(triple5)] Harry is green.[(triple10 OR ((triple9 triple7 ((triple7 triple9 ((triple7) -> rule4)) -> rule2)) -> rule3))] Harry is nice.[(triple9)] Harry is round.[(triple8)] Harry is young.[(triple7)] @1: Harry is rough.[(((triple7) -> rule4))] @2: Harry is red.[(((triple7 triple9 ((triple7) -> rule4)) -> rule2))] @3: Harry is cold.[(((triple10 triple9 ((triple7 triple9 ((triple7) -> rule4)) -> rule2)) -> rule5) OR ((((triple9 triple7 ((triple7 triple9 ((triple7) -> rule4)) -> rule2)) -> rule3) triple9 ((triple7 triple9 ((triple7) -> rule4)) -> rule2)) -> rule5))]
Alan is blue.
("Alan" "is" "blue" "+")
triple2
Alan is red.
("Alan" "is" "red" "+")
triple1
Eric is rough.
("Eric" "is" "rough" "+")
triple4
Eric is round.
("Eric" "is" "round" "+")
triple3
Gary is big.
("Gary" "is" "big" "+")
triple6
Gary is blue.
("Gary" "is" "blue" "+")
triple5
Harry is green.
("Harry" "is" "green" "+")
triple10
((triple9 triple7 ((triple7 triple9 ((triple7) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
triple9
Harry is round.
("Harry" "is" "round" "+")
triple8
Harry is young.
("Harry" "is" "young" "+")
triple7
Harry is rough.
("Harry" "is" "rough" "+")
((triple7) -> (rule4 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
((triple7 triple9 ((triple7) -> (rule4 % int2))) -> (rule2 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
((triple10 triple9 ((triple7 triple9 ((triple7) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
((((triple9 triple7 ((triple7 triple9 ((triple7) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule3 % int2)) triple9 ((triple7 triple9 ((triple7) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule5 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
Alan looks red to most people, with blue features.
Eric is a man who is both round and rough.
Gary is big and dresses in blue.
There is a very nice young man with a round body who is wearing green named Harry.
Kind, young, green persons are sure to be rough persons, too.
A rough person who is young and nice is also red.
Humans who are nice to others while they are young and red will also be green.
Young people are rough.
A green and red colored person who has a nice temperament will be cold.
Anyone that's described as young, kind and blue can be said to be cold, too.