Alan is rough and cold, but he's young and will get over it. Red Bob is what folks call him, because he is quite red. Fred is blue and cold. Harry is a round fellow, but he is kind, even when he is so cold he turns blue. A green person who is cold and round is also big. Someone might be red but blue from the cold dressing in green. A green colored person will be young and also kind. Big, green people that feel blue are mostly young. A blue and round human being will also be a green human being. A person that is rough and round shaped features are going to be red.
Alan is young.
("Alan" "is" "young" "+")
Alan is rough.
("Alan" "is" "rough" "+")
Alan is cold.
("Alan" "is" "cold" "+")
Bob is red.
("Bob" "is" "red" "+")
Fred is cold.
("Fred" "is" "cold" "+")
Fred is blue.
("Fred" "is" "blue" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is blue.
("Harry" "is" "blue" "+")
If someone is cold and round and green then they are big.
((("someone" "is" "cold" "+") ("someone" "is" "round" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
If someone is cold and blue and red then they are green.
((("someone" "is" "cold" "+") ("someone" "is" "blue" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "green" "+"))
If someone is green and young then they are kind.
((("someone" "is" "green" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
If someone is big and green and blue then they are young.
((("someone" "is" "big" "+") ("someone" "is" "green" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "young" "+"))
If someone is blue and round then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "green" "+"))
If someone is round and rough then they are red.
((("someone" "is" "round" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
Harry is cold.
True
1
proof
[(triple9)]
("Harry" "is" "cold" "+")
triple9
Alan is not cold.
False
1
inv-proof
[(triple3)]
("Alan" "is" "cold" "-")
triple3
Harry is green.
True
3
proof
[(((triple10 triple7) -> rule5))]
("Harry" "is" "green" "+")
((triple10 triple7) -> (rule5 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is not green.
False
3
inv-proof
[(((triple10 triple7) -> rule5))]
("Harry" "is" "green" "-")
((triple10 triple7) -> (rule5 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is big.
True
6
proof
[(((triple9 triple7 ((triple10 triple7) -> rule5)) -> rule1))]
("Harry" "is" "big" "+")
((triple9 triple7 ((triple10 triple7) -> (rule5 % int2))) -> (rule1 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is not big.
False
6
inv-proof
[(((triple9 triple7 ((triple10 triple7) -> rule5)) -> rule1))]
("Harry" "is" "big" "-")
((triple9 triple7 ((triple10 triple7) -> (rule5 % int2))) -> (rule1 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is young.
True
11
proof
[(((((triple9 triple7 ((triple10 triple7) -> rule5)) -> rule1) ((triple10 triple7) -> rule5) triple10) -> rule4))]
("Harry" "is" "young" "+")
((((triple9 triple7 ((triple10 triple7) -> (rule5 % int3))) -> (rule1 % int2)) ((triple10 triple7) -> (rule5 % int3)) triple10) -> (rule4 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is not young.
False
11
inv-proof
[(((((triple9 triple7 ((triple10 triple7) -> rule5)) -> rule1) ((triple10 triple7) -> rule5) triple10) -> rule4))]
("Harry" "is" "young" "-")
((((triple9 triple7 ((triple10 triple7) -> (rule5 % int3))) -> (rule1 % int2)) ((triple10 triple7) -> (rule5 % int3)) triple10) -> (rule4 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Fred is not green.
Unknown
inv-rconc
[@2: Fred is green.[CWA. Example of deepest failure = (rule2 <- rule6 <- FAIL)]]
("Fred" "is" "green" "-")
Fred is kind.
Unknown
rconc
[@3: Fred is kind.[CWA. Example of deepest failure = (rule3 <- rule2 <- rule6 <- FAIL)]]
("Fred" "is" "kind" "+")
Alan is not kind.
Unknown
inv-rconc
[@2: Alan is kind.[CWA. Example of deepest failure = (rule3 <- rule2 <- FAIL)]]
("Alan" "is" "kind" "-")
Bob is young.
Unknown
rconc
[@1: Bob is young.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Bob" "is" "young" "+")
Alan is not blue.
Unknown
inv-random
[@0: Alan is blue.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "blue" "-")
Bob is cold.
Unknown
random
[@0: Bob is cold.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "cold" "+")
Alan is not nice.
Unknown
inv-random
[@0: Alan is nice.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "nice" "-")
Fred is nice.
Unknown
random
[@0: Fred is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "nice" "+")
@0: Alan is cold.[(triple3)] Alan is rough.[(triple2)] Alan is young.[(triple1)] Bob is red.[(triple4)] Fred is blue.[(triple6)] Fred is cold.[(triple5)] Harry is blue.[(triple10)] Harry is cold.[(triple9)] Harry is kind.[(triple8 OR ((((triple10 triple7) -> rule5) ((((triple9 triple7 ((triple10 triple7) -> rule5)) -> rule1) ((triple10 triple7) -> rule5) triple10) -> rule4)) -> rule3))] Harry is round.[(triple7)] @1: Harry is green.[(((triple10 triple7) -> rule5))] @2: Harry is big.[(((triple9 triple7 ((triple10 triple7) -> rule5)) -> rule1))] @3: Harry is young.[(((((triple9 triple7 ((triple10 triple7) -> rule5)) -> rule1) ((triple10 triple7) -> rule5) triple10) -> rule4))]
Alan is cold.
("Alan" "is" "cold" "+")
triple3
Alan is rough.
("Alan" "is" "rough" "+")
triple2
Alan is young.
("Alan" "is" "young" "+")
triple1
Bob is red.
("Bob" "is" "red" "+")
triple4
Fred is blue.
("Fred" "is" "blue" "+")
triple6
Fred is cold.
("Fred" "is" "cold" "+")
triple5
Harry is blue.
("Harry" "is" "blue" "+")
triple10
Harry is cold.
("Harry" "is" "cold" "+")
triple9
Harry is kind.
("Harry" "is" "kind" "+")
triple8
((((triple10 triple7) -> (rule5 % int4)) ((((triple9 triple7 ((triple10 triple7) -> (rule5 % int4))) -> (rule1 % int3)) ((triple10 triple7) -> (rule5 % int4)) triple10) -> (rule4 % int2))) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is round.
("Harry" "is" "round" "+")
triple7
Harry is green.
("Harry" "is" "green" "+")
((triple10 triple7) -> (rule5 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
((triple9 triple7 ((triple10 triple7) -> (rule5 % int2))) -> (rule1 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
((((triple9 triple7 ((triple10 triple7) -> (rule5 % int3))) -> (rule1 % int2)) ((triple10 triple7) -> (rule5 % int3)) triple10) -> (rule4 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Alan is rough and cold, but he's young and will get over it.
Red Bob is what folks call him, because he is quite red.
Fred is blue and cold.
Harry is a round fellow, but he is kind, even when he is so cold he turns blue.
A green person who is cold and round is also big.
Someone might be red but blue from the cold dressing in green.
A green colored person will be young and also kind.
Big, green people that feel blue are mostly young.
A blue and round human being will also be a green human being.
A person that is rough and round shaped features are going to be red.