Bob is blue. Bob is not cold. Bob is green. Bob is not kind. Bob is nice. Bob is quiet. Bob is white. Charlie is blue. Charlie is quiet. Erin is not quiet. Erin is white. Fiona is cold. Fiona is green. Fiona is not nice. Fiona is white. If someone is cold then they are quiet. If Charlie is green then Charlie is not nice. If Charlie is nice then Charlie is green. Kind people are not cold. All kind, white people are not cold. Cold people are blue. If someone is quiet and not kind then they are green. All green people are white.
Bob is blue.
("Bob" "is" "blue" "+")
Bob is not cold.
("Bob" "is" "cold" "-")
Bob is green.
("Bob" "is" "green" "+")
Bob is not kind.
("Bob" "is" "kind" "-")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is white.
("Bob" "is" "white" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Erin is not quiet.
("Erin" "is" "quiet" "-")
Erin is white.
("Erin" "is" "white" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is not nice.
("Fiona" "is" "nice" "-")
Fiona is white.
("Fiona" "is" "white" "+")
If someone is cold then they are quiet.
((("someone" "is" "cold" "+")) -> ("someone" "is" "quiet" "+"))
If Charlie is green then Charlie is not nice.
((("Charlie" "is" "green" "+")) -> ("Charlie" "is" "nice" "-"))
If Charlie is nice then Charlie is green.
((("Charlie" "is" "nice" "+")) -> ("Charlie" "is" "green" "+"))
Kind people are not cold.
((("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "-"))
All kind, white people are not cold.
((("someone" "is" "kind" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "cold" "-"))
Cold people are blue.
((("someone" "is" "cold" "+")) -> ("someone" "is" "blue" "+"))
If someone is quiet and not kind then they are green.
((("someone" "is" "quiet" "+") ("someone" "is" "kind" "~")) -> ("someone" "is" "green" "+"))
All green people are white.
((("someone" "is" "green" "+")) -> ("someone" "is" "white" "+"))
Fiona is white.
True
1
proof
[(triple15 OR ((triple13) -> rule8))]
("Fiona" "is" "white" "+")
triple15
((triple13) -> (rule8 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Bob is not green.
False
1
inv-proof
[(triple3 OR ((triple6 triple4) -> rule7))]
("Bob" "is" "green" "-")
triple3
((triple6 triple4) -> (rule7 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Erin is not green.
Unknown
inv-rconc
[@1: Erin is green.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Erin" "is" "green" "-")
Erin is cold.
Unknown
random
[@0: Erin is cold.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "cold" "+")
@0: Bob is blue.[(triple1)] Bob is green.[(triple3 OR ((triple6 triple4) -> rule7))] Bob is nice.[(triple5)] Bob is not cold.[(triple2)] Bob is not kind.[(triple4)] Bob is quiet.[(triple6)] Bob is white.[(triple7 OR ((triple3) -> rule8) OR ((((triple6 triple4) -> rule7)) -> rule8))] Charlie is blue.[(triple8)] Charlie is quiet.[(triple9)] Erin is not quiet.[(triple10)] Erin is white.[(triple11)] Fiona is cold.[(triple12)] Fiona is green.[(triple13)] Fiona is not nice.[(triple14)] Fiona is white.[(triple15 OR ((triple13) -> rule8))] @1: Fiona is blue.[(((triple12) -> rule6))] Fiona is quiet.[(((triple12) -> rule1))]
Bob is blue.
("Bob" "is" "blue" "+")
triple1
Bob is green.
("Bob" "is" "green" "+")
triple3
((triple6 triple4) -> (rule7 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
triple5
Bob is not cold.
("Bob" "is" "cold" "-")
triple2
Bob is not kind.
("Bob" "is" "kind" "-")
triple4
Bob is quiet.
("Bob" "is" "quiet" "+")
triple6
Bob is white.
("Bob" "is" "white" "+")
triple7
((triple3) -> (rule8 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
((((triple6 triple4) -> (rule7 % int2))) -> (rule8 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
triple8
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple9
Erin is not quiet.
("Erin" "is" "quiet" "-")
triple10
Erin is white.
("Erin" "is" "white" "+")
triple11
Fiona is cold.
("Fiona" "is" "cold" "+")
triple12
Fiona is green.
("Fiona" "is" "green" "+")
triple13
Fiona is not nice.
("Fiona" "is" "nice" "-")
triple14
Fiona is white.
("Fiona" "is" "white" "+")
triple15
((triple13) -> (rule8 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
((triple12) -> (rule6 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
((triple12) -> (rule1 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1