Most people see Bob as round, albeit nice and big at the same time. Eric is someone you could describe as young, round, cold, and blue. Gary is blue and cold. Harry is big and tends to wear red shirts. Nice blue people are often rough. Surprisingly, all the kind, green people were also big. A person with rough skin who has been standing in the cold will turn red. A rough person who is young and nice is also red. People who are round and young are also quite nice. Somebody fitting a young, blue and round description will also fit a green description. Somebody having round, cold and kind traits is also sure to be young.
Bob is round.
("Bob" "is" "round" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is big.
("Bob" "is" "big" "+")
Eric is young.
("Eric" "is" "young" "+")
Eric is round.
("Eric" "is" "round" "+")
Eric is cold.
("Eric" "is" "cold" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is nice and blue then they are rough.
((("someone" "is" "nice" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "rough" "+"))
If someone is kind and green then they are big.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
If someone is cold and rough then they are red.
((("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
If someone is young and nice and rough then they are red.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
If someone is young and round then they are nice.
((("someone" "is" "young" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
If someone is blue and young and round then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "young" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "green" "+"))
If someone is round and kind and cold then they are young.
((("someone" "is" "round" "+") ("someone" "is" "kind" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
Gary is blue.
True
1
proof
[(triple9)]
("Gary" "is" "blue" "+")
triple9
Harry is not red.
False
1
inv-proof
[(triple10)]
("Harry" "is" "red" "-")
triple10
Eric is green.
True
4
proof
[(((triple7 triple4 triple5) -> rule6))]
("Eric" "is" "green" "+")
((triple7 triple4 triple5) -> (rule6 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is not green.
False
4
inv-proof
[(((triple7 triple4 triple5) -> rule6))]
("Eric" "is" "green" "-")
((triple7 triple4 triple5) -> (rule6 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is rough.
True
5
proof
[(((((triple4 triple5) -> rule5) triple7) -> rule1))]
("Eric" "is" "rough" "+")
((((triple4 triple5) -> (rule5 % int2)) triple7) -> (rule1 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
int2
Eric is not rough.
False
5
inv-proof
[(((((triple4 triple5) -> rule5) triple7) -> rule1))]
("Eric" "is" "rough" "-")
((((triple4 triple5) -> (rule5 % int2)) triple7) -> (rule1 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
int2
Eric is red.
True
7
proof
[(((triple6 ((((triple4 triple5) -> rule5) triple7) -> rule1)) -> rule3) OR ((triple4 ((triple4 triple5) -> rule5) ((((triple4 triple5) -> rule5) triple7) -> rule1)) -> rule4))]
("Eric" "is" "red" "+")
((triple6 ((((triple4 triple5) -> (rule5 % int3)) triple7) -> (rule1 % int2))) -> (rule3 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
int2
Eric is nice.
("Eric" "is" "nice" "+")
int3
((triple4 ((triple4 triple5) -> (rule5 % int3)) ((((triple4 triple5) -> (rule5 % int3)) triple7) -> (rule1 % int2))) -> (rule4 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
int2
Eric is nice.
("Eric" "is" "nice" "+")
int3
Eric is not red.
False
7
inv-proof
[(((triple6 ((((triple4 triple5) -> rule5) triple7) -> rule1)) -> rule3) OR ((triple4 ((triple4 triple5) -> rule5) ((((triple4 triple5) -> rule5) triple7) -> rule1)) -> rule4))]
("Eric" "is" "red" "-")
((triple6 ((((triple4 triple5) -> (rule5 % int3)) triple7) -> (rule1 % int2))) -> (rule3 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
int2
Eric is nice.
("Eric" "is" "nice" "+")
int3
((triple4 ((triple4 triple5) -> (rule5 % int3)) ((((triple4 triple5) -> (rule5 % int3)) triple7) -> (rule1 % int2))) -> (rule4 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
int2
Eric is nice.
("Eric" "is" "nice" "+")
int3
Harry is not nice.
Unknown
inv-rconc
[@1: Harry is nice.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Harry" "is" "nice" "-")
Gary is young.
Unknown
rconc
[@1: Gary is young.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Gary" "is" "young" "+")
Gary is not rough.
Unknown
inv-rconc
[@2: Gary is rough.[CWA. Example of deepest failure = (rule1 <- rule5 <- FAIL)]]
("Gary" "is" "rough" "-")
Bob is young.
Unknown
rconc
[@1: Bob is young.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Bob" "is" "young" "+")
Bob is not kind.
Unknown
inv-random
[@0: Bob is kind.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "kind" "-")
Gary is kind.
Unknown
random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "+")
Harry is not blue.
Unknown
inv-random
[@0: Harry is blue.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "blue" "-")
Bob is blue.
Unknown
random
[@0: Bob is blue.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "blue" "+")
@0: Bob is big.[(triple3)] Bob is nice.[(triple2)] Bob is round.[(triple1)] Eric is blue.[(triple7)] Eric is cold.[(triple6)] Eric is round.[(triple5)] Eric is young.[(triple4)] Gary is blue.[(triple9)] Gary is cold.[(triple8)] Harry is big.[(triple11)] Harry is red.[(triple10)] @1: Eric is green.[(((triple7 triple4 triple5) -> rule6))] Eric is nice.[(((triple4 triple5) -> rule5))] @2: Eric is rough.[(((((triple4 triple5) -> rule5) triple7) -> rule1))] @3: Eric is red.[(((triple6 ((((triple4 triple5) -> rule5) triple7) -> rule1)) -> rule3) OR ((triple4 ((triple4 triple5) -> rule5) ((((triple4 triple5) -> rule5) triple7) -> rule1)) -> rule4))]
Bob is big.
("Bob" "is" "big" "+")
triple3
Bob is nice.
("Bob" "is" "nice" "+")
triple2
Bob is round.
("Bob" "is" "round" "+")
triple1
Eric is blue.
("Eric" "is" "blue" "+")
triple7
Eric is cold.
("Eric" "is" "cold" "+")
triple6
Eric is round.
("Eric" "is" "round" "+")
triple5
Eric is young.
("Eric" "is" "young" "+")
triple4
Gary is blue.
("Gary" "is" "blue" "+")
triple9
Gary is cold.
("Gary" "is" "cold" "+")
triple8
Harry is big.
("Harry" "is" "big" "+")
triple11
Harry is red.
("Harry" "is" "red" "+")
triple10
Eric is green.
("Eric" "is" "green" "+")
((triple7 triple4 triple5) -> (rule6 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
((triple4 triple5) -> (rule5 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
((((triple4 triple5) -> (rule5 % int2)) triple7) -> (rule1 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
int2
Eric is red.
("Eric" "is" "red" "+")
((triple6 ((((triple4 triple5) -> (rule5 % int3)) triple7) -> (rule1 % int2))) -> (rule3 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
int2
Eric is nice.
("Eric" "is" "nice" "+")
int3
((triple4 ((triple4 triple5) -> (rule5 % int3)) ((((triple4 triple5) -> (rule5 % int3)) triple7) -> (rule1 % int2))) -> (rule4 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
int2
Eric is nice.
("Eric" "is" "nice" "+")
int3
Most people see Bob as round, albeit nice and big at the same time.
Eric is someone you could describe as young, round, cold, and blue.
Gary is blue and cold.
Harry is big and tends to wear red shirts.
Nice blue people are often rough.
Surprisingly, all the kind, green people were also big.
A person with rough skin who has been standing in the cold will turn red.
A rough person who is young and nice is also red.
People who are round and young are also quite nice.
Somebody fitting a young, blue and round description will also fit a green description.
Somebody having round, cold and kind traits is also sure to be young.