Alan is a young and nice man, and he is also very big shaped. Charlie is a red fellow who habitually looks blue. He's often cold. Eric is big and dresses in blue. Harry is young, he is also red and green. Because someone is green and kind they are extremely nice to people. Big people who are red in color are often nice. A nice young person who is red is cold. A human that's round, red and kind will be also be a green human. People who are young and green are also kind.
Alan is young.
("Alan" "is" "young" "+")
Alan is nice.
("Alan" "is" "nice" "+")
Alan is big.
("Alan" "is" "big" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Eric is big.
("Eric" "is" "big" "+")
Harry is young.
("Harry" "is" "young" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is green.
("Harry" "is" "green" "+")
If someone is green and kind then they are nice.
((("someone" "is" "green" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "+"))
If someone is big and red then they are nice.
((("someone" "is" "big" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "nice" "+"))
If someone is nice and red and young then they are cold.
((("someone" "is" "nice" "+") ("someone" "is" "red" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "cold" "+"))
If someone is red and round and kind then they are green.
((("someone" "is" "red" "+") ("someone" "is" "round" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "green" "+"))
If someone is young and green then they are kind.
((("someone" "is" "young" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "kind" "+"))
Charlie is red.
True
1
proof
[(triple4)]
("Charlie" "is" "red" "+")
triple4
Charlie is not red.
False
1
inv-proof
[(triple4)]
("Charlie" "is" "red" "-")
triple4
Harry is kind.
True
3
proof
[(((triple9 triple11) -> rule5))]
("Harry" "is" "kind" "+")
((triple9 triple11) -> (rule5 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is not kind.
False
3
inv-proof
[(((triple9 triple11) -> rule5))]
("Harry" "is" "kind" "-")
((triple9 triple11) -> (rule5 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is nice.
True
5
proof
[(((triple11 ((triple9 triple11) -> rule5)) -> rule1))]
("Harry" "is" "nice" "+")
((triple11 ((triple9 triple11) -> (rule5 % int2))) -> (rule1 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is not nice.
False
5
inv-proof
[(((triple11 ((triple9 triple11) -> rule5)) -> rule1))]
("Harry" "is" "nice" "-")
((triple11 ((triple9 triple11) -> (rule5 % int2))) -> (rule1 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is cold.
True
8
proof
[(((((triple11 ((triple9 triple11) -> rule5)) -> rule1) triple10 triple9) -> rule3))]
("Harry" "is" "cold" "+")
((((triple11 ((triple9 triple11) -> (rule5 % int3))) -> (rule1 % int2)) triple10 triple9) -> (rule3 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is not cold.
False
8
inv-proof
[(((((triple11 ((triple9 triple11) -> rule5)) -> rule1) triple10 triple9) -> rule3))]
("Harry" "is" "cold" "-")
((((triple11 ((triple9 triple11) -> (rule5 % int3))) -> (rule1 % int2)) triple10 triple9) -> (rule3 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Charlie is not green.
Unknown
inv-rconc
[@1: Charlie is green.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Charlie" "is" "green" "-")
Alan is kind.
Unknown
rconc
[@2: Alan is kind.[CWA. Example of deepest failure = (rule5 <- rule4 <- FAIL)]]
("Alan" "is" "kind" "+")
Charlie is not nice.
Unknown
inv-rconc
[@2: Charlie is nice.[CWA. Example of deepest failure = (rule1 <- rule4 <- FAIL)]]
("Charlie" "is" "nice" "-")
Alan is cold.
Unknown
rconc
[@1: Alan is cold.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Alan" "is" "cold" "+")
Harry is not blue.
Unknown
inv-random
[@0: Harry is blue.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "blue" "-")
Alan is red.
Unknown
random
[@0: Alan is red.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "red" "+")
Alan is not blue.
Unknown
inv-random
[@0: Alan is blue.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "blue" "-")
Eric is red.
Unknown
random
[@0: Eric is red.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "red" "+")
@0: Alan is big.[(triple3)] Alan is nice.[(triple2)] Alan is young.[(triple1)] Charlie is blue.[(triple6)] Charlie is cold.[(triple5)] Charlie is red.[(triple4)] Eric is big.[(triple8)] Eric is blue.[(triple7)] Harry is green.[(triple11)] Harry is red.[(triple10)] Harry is young.[(triple9)] @1: Harry is kind.[(((triple9 triple11) -> rule5))] @2: Harry is nice.[(((triple11 ((triple9 triple11) -> rule5)) -> rule1))] @3: Harry is cold.[(((((triple11 ((triple9 triple11) -> rule5)) -> rule1) triple10 triple9) -> rule3))]
Alan is big.
("Alan" "is" "big" "+")
triple3
Alan is nice.
("Alan" "is" "nice" "+")
triple2
Alan is young.
("Alan" "is" "young" "+")
triple1
Charlie is blue.
("Charlie" "is" "blue" "+")
triple6
Charlie is cold.
("Charlie" "is" "cold" "+")
triple5
Charlie is red.
("Charlie" "is" "red" "+")
triple4
Eric is big.
("Eric" "is" "big" "+")
triple8
Eric is blue.
("Eric" "is" "blue" "+")
triple7
Harry is green.
("Harry" "is" "green" "+")
triple11
Harry is red.
("Harry" "is" "red" "+")
triple10
Harry is young.
("Harry" "is" "young" "+")
triple9
Harry is kind.
("Harry" "is" "kind" "+")
((triple9 triple11) -> (rule5 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
((triple11 ((triple9 triple11) -> (rule5 % int2))) -> (rule1 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
((((triple11 ((triple9 triple11) -> (rule5 % int3))) -> (rule1 % int2)) triple10 triple9) -> (rule3 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Alan is a young and nice man, and he is also very big shaped.
Charlie is a red fellow who habitually looks blue; He's often cold.
Eric is big and dresses in blue.
Harry is young, he is also red and green.
Because someone is green and kind they are extremely nice to people.
Big people who are red in color are often nice.
A nice young person who is red is cold.
A human that's round, red and kind will be also be a green human.
People who are young and green are also kind.