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