Bob is a big gentleman who is very nice. He is secretly green with envy. Charlie is interestingly colored red and blue, and is also very kind. Fred is blue from ink he spilled on himself while being kind and helping some children paint. Harry is colored blue and red, and you will notice is he is also big and round. Lucky for us, people that are round and red are kind to strangers. People that are green tend to be young. People who are described as young, green, and big are often considered rough. People that are big but also green, may ultimately be very nice. Young and nice people are ultimately cold. Someone who is cold and big is also a red person.
Bob is nice.
("Bob" "is" "nice" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is big.
("Bob" "is" "big" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Fred is kind.
("Fred" "is" "kind" "+")
Fred is blue.
("Fred" "is" "blue" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is round and red then they are kind.
((("someone" "is" "round" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "kind" "+"))
If someone is green then they are young.
((("someone" "is" "green" "+")) -> ("someone" "is" "young" "+"))
If someone is big and green and young then they are rough.
((("someone" "is" "big" "+") ("someone" "is" "green" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
If someone is big and green then they are nice.
((("someone" "is" "big" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
If someone is young and nice then they are cold.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "cold" "+"))
If someone is big and cold then they are red.
((("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
Harry is round.
True
1
proof
[(triple9)]
("Harry" "is" "round" "+")
triple9
Charlie is not red.
False
1
inv-proof
[(triple4)]
("Charlie" "is" "red" "-")
triple4
Harry is kind.
True
3
proof
[(((triple9 triple10) -> rule1))]
("Harry" "is" "kind" "+")
((triple9 triple10) -> (rule1 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Bob is not young.
False
2
inv-proof
[(((triple2) -> rule2))]
("Bob" "is" "young" "-")
((triple2) -> (rule2 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is cold.
True
4
proof
[(((((triple2) -> rule2) triple1) -> rule5) OR ((((triple2) -> rule2) ((triple3 triple2) -> rule4)) -> rule5))]
("Bob" "is" "cold" "+")
((((triple2) -> (rule2 % int2)) triple1) -> (rule5 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
((((triple2) -> (rule2 % int3)) ((triple3 triple2) -> (rule4 % int2))) -> (rule5 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is not cold.
False
4
inv-proof
[(((((triple2) -> rule2) triple1) -> rule5) OR ((((triple2) -> rule2) ((triple3 triple2) -> rule4)) -> rule5))]
("Bob" "is" "cold" "-")
((((triple2) -> (rule2 % int2)) triple1) -> (rule5 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
((((triple2) -> (rule2 % int3)) ((triple3 triple2) -> (rule4 % int2))) -> (rule5 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is red.
True
6
proof
[(((triple3 ((((triple2) -> rule2) triple1) -> rule5)) -> rule6) OR ((triple3 ((((triple2) -> rule2) ((triple3 triple2) -> rule4)) -> rule5)) -> rule6))]
("Bob" "is" "red" "+")
((triple3 ((((triple2) -> (rule2 % int3)) triple1) -> (rule5 % int2))) -> (rule6 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
((triple3 ((((triple2) -> (rule2 % int4)) ((triple3 triple2) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is not red.
False
6
inv-proof
[(((triple3 ((((triple2) -> rule2) triple1) -> rule5)) -> rule6) OR ((triple3 ((((triple2) -> rule2) ((triple3 triple2) -> rule4)) -> rule5)) -> rule6))]
("Bob" "is" "red" "-")
((triple3 ((((triple2) -> (rule2 % int3)) triple1) -> (rule5 % int2))) -> (rule6 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
((triple3 ((((triple2) -> (rule2 % int4)) ((triple3 triple2) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Harry is not young.
Unknown
inv-rconc
[@1: Harry is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "young" "-")
Charlie is nice.
Unknown
rconc
[@1: Charlie is nice.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Charlie" "is" "nice" "+")
Charlie is not cold.
Unknown
inv-rconc
[@2: Charlie is cold.[CWA. Example of deepest failure = (rule5 <- rule2 <- FAIL)]]
("Charlie" "is" "cold" "-")
Charlie is rough.
Unknown
rconc
[@1: Charlie is rough.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Charlie" "is" "rough" "+")
Fred is not round.
Unknown
inv-random
[@0: Fred is round.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "round" "-")
Charlie is round.
Unknown
random
[@0: Charlie is round.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "round" "+")
Bob is not round.
Unknown
inv-random
[@0: Bob is round.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "round" "-")
Charlie is green.
Unknown
random
[@0: Charlie is green.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "green" "+")
@0: Bob is big.[(triple3)] Bob is green.[(triple2)] Bob is nice.[(triple1 OR ((triple3 triple2) -> rule4))] Charlie is blue.[(triple6)] Charlie is kind.[(triple5)] Charlie is red.[(triple4)] Fred is blue.[(triple8)] Fred is kind.[(triple7)] Harry is big.[(triple12)] Harry is blue.[(triple11)] Harry is red.[(triple10)] Harry is round.[(triple9)] @1: Bob is young.[(((triple2) -> rule2))] Harry is kind.[(((triple9 triple10) -> rule1))] @2: Bob is cold.[(((((triple2) -> rule2) triple1) -> rule5) OR ((((triple2) -> rule2) ((triple3 triple2) -> rule4)) -> rule5))] Bob is rough.[(((triple3 triple2 ((triple2) -> rule2)) -> rule3))] @3: Bob is red.[(((triple3 ((((triple2) -> rule2) triple1) -> rule5)) -> rule6) OR ((triple3 ((((triple2) -> rule2) ((triple3 triple2) -> rule4)) -> rule5)) -> rule6))]
Bob is big.
("Bob" "is" "big" "+")
triple3
Bob is green.
("Bob" "is" "green" "+")
triple2
Bob is nice.
("Bob" "is" "nice" "+")
triple1
((triple3 triple2) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
triple6
Charlie is kind.
("Charlie" "is" "kind" "+")
triple5
Charlie is red.
("Charlie" "is" "red" "+")
triple4
Fred is blue.
("Fred" "is" "blue" "+")
triple8
Fred is kind.
("Fred" "is" "kind" "+")
triple7
Harry is big.
("Harry" "is" "big" "+")
triple12
Harry is blue.
("Harry" "is" "blue" "+")
triple11
Harry is red.
("Harry" "is" "red" "+")
triple10
Harry is round.
("Harry" "is" "round" "+")
triple9
Bob is young.
("Bob" "is" "young" "+")
((triple2) -> (rule2 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
((triple9 triple10) -> (rule1 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
((((triple2) -> (rule2 % int2)) triple1) -> (rule5 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
((((triple2) -> (rule2 % int3)) ((triple3 triple2) -> (rule4 % int2))) -> (rule5 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
((triple3 triple2 ((triple2) -> (rule2 % int2))) -> (rule3 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
((triple3 ((((triple2) -> (rule2 % int3)) triple1) -> (rule5 % int2))) -> (rule6 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
((triple3 ((((triple2) -> (rule2 % int4)) ((triple3 triple2) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is a big gentleman who is very nice; He is secretly green with envy.
Charlie is interestingly colored red and blue, and is also very kind.
Fred is blue from ink he spilled on himself while being kind and helping some children paint.
Harry is colored blue and red, and you will notice is he is also big and round.
Lucky for us, people that are round and red are kind to strangers.
People that are green tend to be young.
People who are described as young, green, and big are often considered rough.
People that are big but also green, may ultimately be very nice.
Young and nice people are ultimately cold.
Someone who is cold and big is also a red person.