Bob is big. Bob is green. Erin is cold. Erin is green. Erin is kind. Gary is not big. Gary is cold. Gary is green. Gary is kind. Harry is kind. If someone is blue and not green then they are big. If Bob is big and Bob is not kind then Bob is round. If someone is green then they are blue. All kind people are blue. All kind people are not round. White people are round. If someone is green and not kind then they are not white. If someone is round and not blue then they are white.
Bob is big.
("Bob" "is" "big" "+")
Bob is green.
("Bob" "is" "green" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Gary is not big.
("Gary" "is" "big" "-")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Harry is kind.
("Harry" "is" "kind" "+")
If someone is blue and not green then they are big.
((("someone" "is" "blue" "+") ("someone" "is" "green" "~")) -> ("someone" "is" "big" "+"))
If Bob is big and Bob is not kind then Bob is round.
((("Bob" "is" "big" "+") ("Bob" "is" "kind" "~")) -> ("Bob" "is" "round" "+"))
If someone is green then they are blue.
((("someone" "is" "green" "+")) -> ("someone" "is" "blue" "+"))
All kind people are blue.
((("someone" "is" "kind" "+")) -> ("someone" "is" "blue" "+"))
All kind people are not round.
((("someone" "is" "kind" "+")) -> ("someone" "is" "round" "-"))
White people are round.
((("someone" "is" "white" "+")) -> ("someone" "is" "round" "+"))
If someone is green and not kind then they are not white.
((("someone" "is" "green" "+") ("someone" "is" "kind" "~")) -> ("someone" "is" "white" "-"))
If someone is round and not blue then they are white.
((("someone" "is" "round" "+") ("someone" "is" "blue" "~")) -> ("someone" "is" "white" "+"))
Gary is cold.
True
1
proof
[(triple7)]
("Gary" "is" "cold" "+")
triple7
Gary is big.
False
1
inv-proof
[(triple6)]
("Gary" "is" "big" "+")
triple6
Gary is not white.
Unknown
inv-rconc
[@1: Gary is white.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("Gary" "is" "white" "-")
Harry is cold.
Unknown
random
[@0: Harry is cold.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "cold" "+")
@0: Bob is big.[(triple1)] Bob is green.[(triple2)] Erin is cold.[(triple3)] Erin is green.[(triple4)] Erin is kind.[(triple5)] Gary is cold.[(triple7)] Gary is green.[(triple8)] Gary is kind.[(triple9)] Gary is not big.[(triple6)] Harry is kind.[(triple10)] @1: Bob is blue.[(((triple2) -> rule3))] Erin is blue.[(((triple4) -> rule3) OR ((triple5) -> rule4))] Erin is not round.[(((triple5) -> rule5))] Gary is blue.[(((triple8) -> rule3) OR ((triple9) -> rule4))] Gary is not round.[(((triple9) -> rule5))] Harry is blue.[(((triple10) -> rule4))] Harry is not round.[(((triple10) -> rule5))]
Bob is big.
("Bob" "is" "big" "+")
triple1
Bob is green.
("Bob" "is" "green" "+")
triple2
Erin is cold.
("Erin" "is" "cold" "+")
triple3
Erin is green.
("Erin" "is" "green" "+")
triple4
Erin is kind.
("Erin" "is" "kind" "+")
triple5
Gary is cold.
("Gary" "is" "cold" "+")
triple7
Gary is green.
("Gary" "is" "green" "+")
triple8
Gary is kind.
("Gary" "is" "kind" "+")
triple9
Gary is not big.
("Gary" "is" "big" "-")
triple6
Harry is kind.
("Harry" "is" "kind" "+")
triple10
Bob is blue.
("Bob" "is" "blue" "+")
((triple2) -> (rule3 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
((triple4) -> (rule3 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
((triple5) -> (rule4 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is not round.
("Erin" "is" "round" "-")
((triple5) -> (rule5 % int1))
Erin is not round.
("Erin" "is" "round" "-")
int1
Gary is blue.
("Gary" "is" "blue" "+")
((triple8) -> (rule3 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
((triple9) -> (rule4 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is not round.
("Gary" "is" "round" "-")
((triple9) -> (rule5 % int1))
Gary is not round.
("Gary" "is" "round" "-")
int1
Harry is blue.
("Harry" "is" "blue" "+")
((triple10) -> (rule4 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is not round.
("Harry" "is" "round" "-")
((triple10) -> (rule5 % int1))
Harry is not round.
("Harry" "is" "round" "-")
int1