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