Charlie is cold. Charlie is green. Charlie is kind. Charlie is quiet. Charlie is red. Charlie is smart. Charlie is young. Erin is cold. Erin is kind. Fiona is quiet. If someone is green and not kind then they are quiet. If Erin is cold then Erin is not smart.
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
If someone is green and not kind then they are quiet.
((("someone" "is" "green" "+") ("someone" "is" "kind" "~")) -> ("someone" "is" "quiet" "+"))
If Erin is cold then Erin is not smart.
((("Erin" "is" "cold" "+")) -> ("Erin" "is" "smart" "-"))
Charlie is green.
True
1
proof
[(triple2)]
("Charlie" "is" "green" "+")
triple2
Charlie is not green.
False
1
inv-proof
[(triple2)]
("Charlie" "is" "green" "-")
triple2
Erin is not smart.
True
2
proof
[(((triple8) -> rule2))]
("Erin" "is" "smart" "-")
((triple8) -> (rule2 % int1))
Erin is not smart.
("Erin" "is" "smart" "-")
int1
Erin is smart.
False
2
inv-proof
[(((triple8) -> rule2))]
("Erin" "is" "smart" "+")
((triple8) -> (rule2 % int1))
Erin is not smart.
("Erin" "is" "smart" "-")
int1
Erin is not quiet.
Unknown
inv-rconc
[@1: Erin is quiet.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Erin" "is" "quiet" "-")
Fiona is young.
Unknown
random
[@0: Fiona is young.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "young" "+")
Fiona is not red.
Unknown
inv-random
[@0: Fiona is red.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "red" "-")
Erin is red.
Unknown
random
[@0: Erin is red.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "red" "+")
@0: Charlie is cold.[(triple1)] Charlie is green.[(triple2)] Charlie is kind.[(triple3)] Charlie is quiet.[(triple4)] Charlie is red.[(triple5)] Charlie is smart.[(triple6)] Charlie is young.[(triple7)] Erin is cold.[(triple8)] Erin is kind.[(triple9)] Fiona is quiet.[(triple10)] @1: Erin is not smart.[(((triple8) -> rule2))]
Charlie is cold.
("Charlie" "is" "cold" "+")
triple1
Charlie is green.
("Charlie" "is" "green" "+")
triple2
Charlie is kind.
("Charlie" "is" "kind" "+")
triple3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple4
Charlie is red.
("Charlie" "is" "red" "+")
triple5
Charlie is smart.
("Charlie" "is" "smart" "+")
triple6
Charlie is young.
("Charlie" "is" "young" "+")
triple7
Erin is cold.
("Erin" "is" "cold" "+")
triple8
Erin is kind.
("Erin" "is" "kind" "+")
triple9
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple10
Erin is not smart.
("Erin" "is" "smart" "-")
((triple8) -> (rule2 % int1))
Erin is not smart.
("Erin" "is" "smart" "-")
int1