Bob is big and dresses in blue. When you meet Fred you'll the two characteristics that will standout is that he's red but also rough. Gary, who is young, nice, green, and blue, is also rather big shaped. Harry is young, he is also red and green. Someone who has a a young round face is often rough around the edges. People who are blue and green are nice. That young person is feeling cold because he is green to the situation making his body shape round. A very nice and kind person will also be round shaped. A green and quite rough person will also be blue. Young people that are also red and green, may be fairly rough, also.
Bob is blue.
("Bob" "is" "blue" "+")
Bob is big.
("Bob" "is" "big" "+")
Fred is rough.
("Fred" "is" "rough" "+")
Fred is red.
("Fred" "is" "red" "+")
Gary is young.
("Gary" "is" "young" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is big.
("Gary" "is" "big" "+")
Harry is young.
("Harry" "is" "young" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is green.
("Harry" "is" "green" "+")
If someone is round and young then they are rough.
((("someone" "is" "round" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
If someone is blue and green then they are nice.
((("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
If someone is young and cold and green then they are round.
((("someone" "is" "young" "+") ("someone" "is" "cold" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
If someone is nice and kind then they are round.
((("someone" "is" "nice" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
If someone is rough and green then they are blue.
((("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "blue" "+"))
If someone is red and green and young then they are rough.
((("someone" "is" "red" "+") ("someone" "is" "green" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
Harry is red.
True
1
proof
[(triple11)]
("Harry" "is" "red" "+")
triple11
Harry is not young.
False
1
inv-proof
[(triple10)]
("Harry" "is" "young" "-")
triple10
Harry is rough.
True
4
proof
[(((triple11 triple12 triple10) -> rule6))]
("Harry" "is" "rough" "+")
((triple11 triple12 triple10) -> (rule6 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is not rough.
False
4
inv-proof
[(((triple11 triple12 triple10) -> rule6))]
("Harry" "is" "rough" "-")
((triple11 triple12 triple10) -> (rule6 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is blue.
True
6
proof
[(((((triple11 triple12 triple10) -> rule6) triple12) -> rule5))]
("Harry" "is" "blue" "+")
((((triple11 triple12 triple10) -> (rule6 % int2)) triple12) -> (rule5 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is not blue.
False
6
inv-proof
[(((((triple11 triple12 triple10) -> rule6) triple12) -> rule5))]
("Harry" "is" "blue" "-")
((((triple11 triple12 triple10) -> (rule6 % int2)) triple12) -> (rule5 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is nice.
True
8
proof
[(((((((triple11 triple12 triple10) -> rule6) triple12) -> rule5) triple12) -> rule2))]
("Harry" "is" "nice" "+")
((((((triple11 triple12 triple10) -> (rule6 % int3)) triple12) -> (rule5 % int2)) triple12) -> (rule2 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is not nice.
False
8
inv-proof
[(((((((triple11 triple12 triple10) -> rule6) triple12) -> rule5) triple12) -> rule2))]
("Harry" "is" "nice" "-")
((((((triple11 triple12 triple10) -> (rule6 % int3)) triple12) -> (rule5 % int2)) triple12) -> (rule2 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Gary is not rough.
Unknown
inv-rconc
[@2: Gary is rough.[CWA. Example of deepest failure = (rule1 <- rule3 <- FAIL)]]
("Gary" "is" "rough" "-")
Harry is round.
Unknown
rconc
[@1: Harry is round.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "round" "+")
Fred is not round.
Unknown
inv-rconc
[@1: Fred is round.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Fred" "is" "round" "-")
Gary is round.
Unknown
rconc
[@1: Gary is round.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Gary" "is" "round" "+")
Gary is not cold.
Unknown
inv-random
[@0: Gary is cold.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "cold" "-")
Bob is cold.
Unknown
random
[@0: Bob is cold.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "cold" "+")
Harry is not big.
Unknown
inv-random
[@0: Harry is big.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "big" "-")
Gary is red.
Unknown
random
[@0: Gary is red.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "red" "+")
@0: Bob is big.[(triple2)] Bob is blue.[(triple1)] Fred is red.[(triple4)] Fred is rough.[(triple3)] Gary is big.[(triple9)] Gary is blue.[(triple8)] Gary is green.[(triple7)] Gary is nice.[(triple6 OR ((triple8 triple7) -> rule2))] Gary is young.[(triple5)] Harry is green.[(triple12)] Harry is red.[(triple11)] Harry is young.[(triple10)] @1: Harry is rough.[(((triple11 triple12 triple10) -> rule6))] @2: Harry is blue.[(((((triple11 triple12 triple10) -> rule6) triple12) -> rule5))] @3: Harry is nice.[(((((((triple11 triple12 triple10) -> rule6) triple12) -> rule5) triple12) -> rule2))]
Bob is big.
("Bob" "is" "big" "+")
triple2
Bob is blue.
("Bob" "is" "blue" "+")
triple1
Fred is red.
("Fred" "is" "red" "+")
triple4
Fred is rough.
("Fred" "is" "rough" "+")
triple3
Gary is big.
("Gary" "is" "big" "+")
triple9
Gary is blue.
("Gary" "is" "blue" "+")
triple8
Gary is green.
("Gary" "is" "green" "+")
triple7
Gary is nice.
("Gary" "is" "nice" "+")
triple6
((triple8 triple7) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
triple5
Harry is green.
("Harry" "is" "green" "+")
triple12
Harry is red.
("Harry" "is" "red" "+")
triple11
Harry is young.
("Harry" "is" "young" "+")
triple10
Harry is rough.
("Harry" "is" "rough" "+")
((triple11 triple12 triple10) -> (rule6 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
((((triple11 triple12 triple10) -> (rule6 % int2)) triple12) -> (rule5 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
((((((triple11 triple12 triple10) -> (rule6 % int3)) triple12) -> (rule5 % int2)) triple12) -> (rule2 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Bob is big and dresses in blue.
When you meet Fred you'll the two characteristics that will standout is that he's red but also rough.
Gary, who is young, nice, green, and blue, is also rather big shaped.
Harry is young, he is also red and green.
Someone who has a a young round face is often rough around the edges.
People who are blue and green are nice.
That young person is feeling cold because he is green to the situation making his body shape round.
A very nice and kind person will also be round shaped.
A green and quite rough person will also be blue.
Young people that are also red and green, may be fairly rough, also.