Alan is a red person who is round and also feels blue. Red Bob is what folks call him, because he is quite red. Upon meeting Fred, you'll notice he's green and kind. Harry is colored red and green. He is also young, rough and very cold. A rough and kind person is big. Rough young folks are surprisingly kind. Some kind person that is round a blue will get embarrassed and turn red. Anyone that's described as young, kind and blue can be said to be cold, too. Most big and kind people,though young,are often blue.
Alan is round.
("Alan" "is" "round" "+")
Alan is red.
("Alan" "is" "red" "+")
Alan is blue.
("Alan" "is" "blue" "+")
Bob is red.
("Bob" "is" "red" "+")
Fred is kind.
("Fred" "is" "kind" "+")
Fred is green.
("Fred" "is" "green" "+")
Harry is young.
("Harry" "is" "young" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is cold.
("Harry" "is" "cold" "+")
If someone is kind and rough then they are big.
((("someone" "is" "kind" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
If someone is young and rough then they are kind.
((("someone" "is" "young" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
If someone is round and blue and kind then they are red.
((("someone" "is" "round" "+") ("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "red" "+"))
If someone is young and blue and kind then they are cold.
((("someone" "is" "young" "+") ("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
If someone is big and kind and young then they are blue.
((("someone" "is" "big" "+") ("someone" "is" "kind" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "blue" "+"))
Harry is young.
True
1
proof
[(triple7)]
("Harry" "is" "young" "+")
triple7
Alan is not round.
False
1
inv-proof
[(triple1)]
("Alan" "is" "round" "-")
triple1
Harry is kind.
True
3
proof
[(((triple7 triple8) -> rule2))]
("Harry" "is" "kind" "+")
((triple7 triple8) -> (rule2 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is not kind.
False
3
inv-proof
[(((triple7 triple8) -> rule2))]
("Harry" "is" "kind" "-")
((triple7 triple8) -> (rule2 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is big.
True
5
proof
[(((((triple7 triple8) -> rule2) triple8) -> rule1))]
("Harry" "is" "big" "+")
((((triple7 triple8) -> (rule2 % int2)) triple8) -> (rule1 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is not big.
False
5
inv-proof
[(((((triple7 triple8) -> rule2) triple8) -> rule1))]
("Harry" "is" "big" "-")
((((triple7 triple8) -> (rule2 % int2)) triple8) -> (rule1 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is blue.
True
10
proof
[(((((((triple7 triple8) -> rule2) triple8) -> rule1) ((triple7 triple8) -> rule2) triple7) -> rule5))]
("Harry" "is" "blue" "+")
((((((triple7 triple8) -> (rule2 % int3)) triple8) -> (rule1 % int2)) ((triple7 triple8) -> (rule2 % int3)) triple7) -> (rule5 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is not blue.
False
10
inv-proof
[(((((((triple7 triple8) -> rule2) triple8) -> rule1) ((triple7 triple8) -> rule2) triple7) -> rule5))]
("Harry" "is" "blue" "-")
((((((triple7 triple8) -> (rule2 % int3)) triple8) -> (rule1 % int2)) ((triple7 triple8) -> (rule2 % int3)) triple7) -> (rule5 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Alan is not kind.
Unknown
inv-rconc
[@1: Alan is kind.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Alan" "is" "kind" "-")
Fred is red.
Unknown
rconc
[@1: Fred is red.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Fred" "is" "red" "+")
Fred is not cold.
Unknown
inv-rconc
[@1: Fred is cold.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Fred" "is" "cold" "-")
Fred is big.
Unknown
rconc
[@1: Fred is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fred" "is" "big" "+")
Alan is not nice.
Unknown
inv-random
[@0: Alan is nice.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "nice" "-")
Fred is young.
Unknown
random
[@0: Fred is young.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "young" "+")
Alan is not rough.
Unknown
inv-random
[@0: Alan is rough.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "rough" "-")
Fred is nice.
Unknown
random
[@0: Fred is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "nice" "+")
@0: Alan is blue.[(triple3)] Alan is red.[(triple2)] Alan is round.[(triple1)] Bob is red.[(triple4)] Fred is green.[(triple6)] Fred is kind.[(triple5)] Harry is cold.[(triple11 OR ((triple7 ((((((triple7 triple8) -> rule2) triple8) -> rule1) ((triple7 triple8) -> rule2) triple7) -> rule5) ((triple7 triple8) -> rule2)) -> rule4))] Harry is green.[(triple10)] Harry is red.[(triple9)] Harry is rough.[(triple8)] Harry is young.[(triple7)] @1: Harry is kind.[(((triple7 triple8) -> rule2))] @2: Harry is big.[(((((triple7 triple8) -> rule2) triple8) -> rule1))] @3: Harry is blue.[(((((((triple7 triple8) -> rule2) triple8) -> rule1) ((triple7 triple8) -> rule2) triple7) -> rule5))]
Alan is blue.
("Alan" "is" "blue" "+")
triple3
Alan is red.
("Alan" "is" "red" "+")
triple2
Alan is round.
("Alan" "is" "round" "+")
triple1
Bob is red.
("Bob" "is" "red" "+")
triple4
Fred is green.
("Fred" "is" "green" "+")
triple6
Fred is kind.
("Fred" "is" "kind" "+")
triple5
Harry is cold.
("Harry" "is" "cold" "+")
triple11
((triple7 ((((((triple7 triple8) -> (rule2 % int4)) triple8) -> (rule1 % int3)) ((triple7 triple8) -> (rule2 % int4)) triple7) -> (rule5 % int2)) ((triple7 triple8) -> (rule2 % int4))) -> (rule4 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is green.
("Harry" "is" "green" "+")
triple10
Harry is red.
("Harry" "is" "red" "+")
triple9
Harry is rough.
("Harry" "is" "rough" "+")
triple8
Harry is young.
("Harry" "is" "young" "+")
triple7
Harry is kind.
("Harry" "is" "kind" "+")
((triple7 triple8) -> (rule2 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
((((triple7 triple8) -> (rule2 % int2)) triple8) -> (rule1 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
((((((triple7 triple8) -> (rule2 % int3)) triple8) -> (rule1 % int2)) ((triple7 triple8) -> (rule2 % int3)) triple7) -> (rule5 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Alan is a red person who is round and also feels blue.
Red Bob is what folks call him, because he is quite red.
Upon meeting Fred, you'll notice he's green and kind.
Harry is colored red and green; He is also young, rough and very cold.
A rough and kind person is big.
Rough young folks are surprisingly kind.
Some kind person that is round a blue will get embarrassed and turn red.
Anyone that's described as young, kind and blue can be said to be cold, too.
Most big and kind people,though young,are often blue.