Anne is young. Erin is not big. Erin is rough. Erin is young. Fiona is quiet. Fiona is red. Fiona is smart. Fiona is young. Gary is big. Gary is quiet. If something is rough and nice then it is red. If something is quiet and not big then it is red. All quiet things are not rough. All big, young things are not rough. If something is young then it is smart. If something is big and rough then it is quiet.
Anne is young.
("Anne" "is" "young" "+")
Erin is not big.
("Erin" "is" "big" "-")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is young.
("Erin" "is" "young" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
If something is rough and nice then it is red.
((("something" "is" "rough" "+") ("something" "is" "nice" "+")) -> ("something" "is" "red" "+"))
If something is quiet and not big then it is red.
((("something" "is" "quiet" "+") ("something" "is" "big" "~")) -> ("something" "is" "red" "+"))
All quiet things are not rough.
((("something" "is" "quiet" "+")) -> ("something" "is" "rough" "-"))
All big, young things are not rough.
((("something" "is" "big" "+") ("something" "is" "young" "+")) -> ("something" "is" "rough" "-"))
If something is young then it is smart.
((("something" "is" "young" "+")) -> ("something" "is" "smart" "+"))
If something is big and rough then it is quiet.
((("something" "is" "big" "+") ("something" "is" "rough" "+")) -> ("something" "is" "quiet" "+"))
Erin is rough.
True
1
proof
[(triple3)]
("Erin" "is" "rough" "+")
triple3
Erin is not young.
False
1
inv-proof
[(triple4)]
("Erin" "is" "young" "-")
triple4
Gary is not rough.
True
2
proof
[(((triple10) -> rule3))]
("Gary" "is" "rough" "-")
((triple10) -> (rule3 % int1))
Gary is not rough.
("Gary" "is" "rough" "-")
int1
Gary is rough.
False
2
inv-proof
[(((triple10) -> rule3))]
("Gary" "is" "rough" "+")
((triple10) -> (rule3 % int1))
Gary is not rough.
("Gary" "is" "rough" "-")
int1
Anne is not quiet.
Unknown
inv-rconc
[@1: Anne is quiet.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Anne" "is" "quiet" "-")
Erin is quiet.
Unknown
rconc
[@1: Erin is quiet.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Erin" "is" "quiet" "+")
Fiona is not nice.
Unknown
inv-random
[@0: Fiona is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "nice" "-")
Anne is nice.
Unknown
random
[@0: Anne is nice.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "nice" "+")
@0: Anne is young.[(triple1)] Erin is not big.[(triple2)] Erin is rough.[(triple3)] Erin is young.[(triple4)] Fiona is quiet.[(triple5)] Fiona is red.[(triple6)] Fiona is smart.[(triple7 OR ((triple8) -> rule5))] Fiona is young.[(triple8)] Gary is big.[(triple9)] Gary is quiet.[(triple10)] @1: Anne is smart.[(((triple1) -> rule5))] Erin is smart.[(((triple4) -> rule5))] Fiona is not rough.[(((triple5) -> rule3))] Gary is not rough.[(((triple10) -> rule3))]
Anne is young.
("Anne" "is" "young" "+")
triple1
Erin is not big.
("Erin" "is" "big" "-")
triple2
Erin is rough.
("Erin" "is" "rough" "+")
triple3
Erin is young.
("Erin" "is" "young" "+")
triple4
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple5
Fiona is red.
("Fiona" "is" "red" "+")
triple6
Fiona is smart.
("Fiona" "is" "smart" "+")
triple7
((triple8) -> (rule5 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
triple8
Gary is big.
("Gary" "is" "big" "+")
triple9
Gary is quiet.
("Gary" "is" "quiet" "+")
triple10
Anne is smart.
("Anne" "is" "smart" "+")
((triple1) -> (rule5 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
((triple4) -> (rule5 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Fiona is not rough.
("Fiona" "is" "rough" "-")
((triple5) -> (rule3 % int1))
Fiona is not rough.
("Fiona" "is" "rough" "-")
int1
Gary is not rough.
("Gary" "is" "rough" "-")
((triple10) -> (rule3 % int1))
Gary is not rough.
("Gary" "is" "rough" "-")
int1