Bob is big and rough. Eric is a young man who is a bit on the round side. He can be all over the place as he is nice, kind but also rough and blue with his moods. From a certain angle Gary is blue but he is young so maybe that will go away. Harry is blue and cold. Soon you will understand that big people are nice. Someone who is both red and blue will also be a nice person. A kind person who is green is usually round. A young and kind person with red rosy skin is cold. Anyone who is round and also cold will surely be big as well. A big person with cold, rough skin is going to be green as well. Blue people round with fat are red from too much time in the sun.
Bob is rough.
("Bob" "is" "rough" "+")
Bob is big.
("Bob" "is" "big" "+")
Eric is young.
("Eric" "is" "young" "+")
Eric is round.
("Eric" "is" "round" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Eric is nice.
("Eric" "is" "nice" "+")
Eric is kind.
("Eric" "is" "kind" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Gary is young.
("Gary" "is" "young" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is blue.
("Harry" "is" "blue" "+")
If someone is big then they are nice.
((("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
If someone is red and blue then they are nice.
((("someone" "is" "red" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "nice" "+"))
If someone is kind and green then they are round.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
If someone is young and kind and red then they are cold.
((("someone" "is" "young" "+") ("someone" "is" "kind" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
If someone is round and cold then they are big.
((("someone" "is" "round" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "big" "+"))
If someone is big and cold and rough then they are green.
((("someone" "is" "big" "+") ("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
If someone is blue and round then they are red.
((("someone" "is" "blue" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "red" "+"))
Eric is blue.
True
1
proof
[(triple8)]
("Eric" "is" "blue" "+")
triple8
Bob is not rough.
False
1
inv-proof
[(triple1)]
("Bob" "is" "rough" "-")
triple1
Bob is nice.
True
2
proof
[(((triple2) -> rule1))]
("Bob" "is" "nice" "+")
((triple2) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is not nice.
False
2
inv-proof
[(((triple2) -> rule1))]
("Bob" "is" "nice" "-")
((triple2) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Eric is cold.
True
6
proof
[(((triple3 triple7 ((triple8 triple4) -> rule7)) -> rule4))]
("Eric" "is" "cold" "+")
((triple3 triple7 ((triple8 triple4) -> (rule7 % int2))) -> (rule4 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
Eric is not cold.
False
6
inv-proof
[(((triple3 triple7 ((triple8 triple4) -> rule7)) -> rule4))]
("Eric" "is" "cold" "-")
((triple3 triple7 ((triple8 triple4) -> (rule7 % int2))) -> (rule4 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
Eric is big.
True
8
proof
[(((triple4 ((triple3 triple7 ((triple8 triple4) -> rule7)) -> rule4)) -> rule5))]
("Eric" "is" "big" "+")
((triple4 ((triple3 triple7 ((triple8 triple4) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Eric is red.
("Eric" "is" "red" "+")
int3
Eric is not big.
False
8
inv-proof
[(((triple4 ((triple3 triple7 ((triple8 triple4) -> rule7)) -> rule4)) -> rule5))]
("Eric" "is" "big" "-")
((triple4 ((triple3 triple7 ((triple8 triple4) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Eric is red.
("Eric" "is" "red" "+")
int3
Eric is green.
True
16
proof
[(((((triple4 ((triple3 triple7 ((triple8 triple4) -> rule7)) -> rule4)) -> rule5) ((triple3 triple7 ((triple8 triple4) -> rule7)) -> rule4) triple5) -> rule6))]
("Eric" "is" "green" "+")
((((triple4 ((triple3 triple7 ((triple8 triple4) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule5 % int2)) ((triple3 triple7 ((triple8 triple4) -> (rule7 % int4))) -> (rule4 % int3)) triple5) -> (rule6 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is cold.
("Eric" "is" "cold" "+")
int3
Eric is red.
("Eric" "is" "red" "+")
int4
Eric is not green.
False
16
inv-proof
[(((((triple4 ((triple3 triple7 ((triple8 triple4) -> rule7)) -> rule4)) -> rule5) ((triple3 triple7 ((triple8 triple4) -> rule7)) -> rule4) triple5) -> rule6))]
("Eric" "is" "green" "-")
((((triple4 ((triple3 triple7 ((triple8 triple4) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule5 % int2)) ((triple3 triple7 ((triple8 triple4) -> (rule7 % int4))) -> (rule4 % int3)) triple5) -> (rule6 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is cold.
("Eric" "is" "cold" "+")
int3
Eric is red.
("Eric" "is" "red" "+")
int4
Bob is not red.
Unknown
inv-rconc
[@1: Bob is red.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Bob" "is" "red" "-")
Harry is round.
Unknown
rconc
[@1: Harry is round.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "round" "+")
Gary is not green.
Unknown
inv-rconc
[@1: Gary is green.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Gary" "is" "green" "-")
Harry is nice.
Unknown
rconc
[@3: Harry is nice.[CWA. Example of deepest failure = (rule1 <- rule5 <- rule3 <- FAIL)]]
("Harry" "is" "nice" "+")
Gary is not cold.
Unknown
inv-rconc
[@1: Gary is cold.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Gary" "is" "cold" "-")
Harry is rough.
Unknown
random
[@0: Harry is rough.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "rough" "+")
Bob is not young.
Unknown
inv-random
[@0: Bob is young.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "young" "-")
Gary is rough.
Unknown
random
[@0: Gary is rough.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "rough" "+")
Bob is not kind.
Unknown
inv-random
[@0: Bob is kind.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "kind" "-")
Bob is blue.
Unknown
random
[@0: Bob is blue.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "blue" "+")
@0: Bob is big.[(triple2)] Bob is rough.[(triple1)] Eric is blue.[(triple8)] Eric is kind.[(triple7)] Eric is nice.[(triple6 OR ((((triple8 triple4) -> rule7) triple8) -> rule2) OR ((((triple4 ((triple3 triple7 ((triple8 triple4) -> rule7)) -> rule4)) -> rule5)) -> rule1))] Eric is rough.[(triple5)] Eric is round.[(triple4)] Eric is young.[(triple3)] Gary is blue.[(triple10)] Gary is young.[(triple9)] Harry is blue.[(triple12)] Harry is cold.[(triple11)] @1: Bob is nice.[(((triple2) -> rule1))] Eric is red.[(((triple8 triple4) -> rule7))] @2: Eric is cold.[(((triple3 triple7 ((triple8 triple4) -> rule7)) -> rule4))] @3: Eric is big.[(((triple4 ((triple3 triple7 ((triple8 triple4) -> rule7)) -> rule4)) -> rule5))] @4: Eric is green.[(((((triple4 ((triple3 triple7 ((triple8 triple4) -> rule7)) -> rule4)) -> rule5) ((triple3 triple7 ((triple8 triple4) -> rule7)) -> rule4) triple5) -> rule6))]
Bob is big.
("Bob" "is" "big" "+")
triple2
Bob is rough.
("Bob" "is" "rough" "+")
triple1
Eric is blue.
("Eric" "is" "blue" "+")
triple8
Eric is kind.
("Eric" "is" "kind" "+")
triple7
Eric is nice.
("Eric" "is" "nice" "+")
triple6
((((triple8 triple4) -> (rule7 % int2)) triple8) -> (rule2 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
((((triple4 ((triple3 triple7 ((triple8 triple4) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is cold.
("Eric" "is" "cold" "+")
int3
Eric is red.
("Eric" "is" "red" "+")
int4
Eric is rough.
("Eric" "is" "rough" "+")
triple5
Eric is round.
("Eric" "is" "round" "+")
triple4
Eric is young.
("Eric" "is" "young" "+")
triple3
Gary is blue.
("Gary" "is" "blue" "+")
triple10
Gary is young.
("Gary" "is" "young" "+")
triple9
Harry is blue.
("Harry" "is" "blue" "+")
triple12
Harry is cold.
("Harry" "is" "cold" "+")
triple11
Bob is nice.
("Bob" "is" "nice" "+")
((triple2) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
((triple8 triple4) -> (rule7 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
((triple3 triple7 ((triple8 triple4) -> (rule7 % int2))) -> (rule4 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
Eric is big.
("Eric" "is" "big" "+")
((triple4 ((triple3 triple7 ((triple8 triple4) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Eric is red.
("Eric" "is" "red" "+")
int3
Eric is green.
("Eric" "is" "green" "+")
((((triple4 ((triple3 triple7 ((triple8 triple4) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule5 % int2)) ((triple3 triple7 ((triple8 triple4) -> (rule7 % int4))) -> (rule4 % int3)) triple5) -> (rule6 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is cold.
("Eric" "is" "cold" "+")
int3
Eric is red.
("Eric" "is" "red" "+")
int4
Bob is big and rough.
Eric is a young man who is a bit on the round side; He can be all over the place as he is nice, kind but also rough and blue with his moods.
From a certain angle Gary is blue but he is young so maybe that will go away.
Harry is blue and cold.
Soon you will understand that big people are nice.
Someone who is both red and blue will also be a nice person.
A kind person who is green is usually round.
A young and kind person with red rosy skin is cold.
Anyone who is round and also cold will surely be big as well.
A big person with cold, rough skin is going to be green as well.
Blue people round with fat are red from too much time in the sun.