Anne is smart. Anne is not young. Erin is big. Erin is rough. Erin is smart. Erin is white. Gary is smart. Gary is young. Harry is nice. Harry is rough. Harry is white. Harry is not young. If someone is smart then they are round. If someone is rough and round then they are nice. If Erin is round and Erin is not white then Erin is big.
Anne is smart.
("Anne" "is" "smart" "+")
Anne is not young.
("Anne" "is" "young" "-")
Erin is big.
("Erin" "is" "big" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Erin is white.
("Erin" "is" "white" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Gary is young.
("Gary" "is" "young" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is white.
("Harry" "is" "white" "+")
Harry is not young.
("Harry" "is" "young" "-")
If someone is smart then they are round.
((("someone" "is" "smart" "+")) -> ("someone" "is" "round" "+"))
If someone is rough and round then they are nice.
((("someone" "is" "rough" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
If Erin is round and Erin is not white then Erin is big.
((("Erin" "is" "round" "+") ("Erin" "is" "white" "~")) -> ("Erin" "is" "big" "+"))
Harry is white.
True
1
proof
[(triple11)]
("Harry" "is" "white" "+")
triple11
Anne is young.
False
1
inv-proof
[(triple2)]
("Anne" "is" "young" "+")
triple2
Gary is round.
True
2
proof
[(((triple7) -> rule1))]
("Gary" "is" "round" "+")
((triple7) -> (rule1 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is not round.
False
2
inv-proof
[(((triple7) -> rule1))]
("Gary" "is" "round" "-")
((triple7) -> (rule1 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Erin is nice.
True
4
proof
[(((triple4 ((triple5) -> rule1)) -> rule2))]
("Erin" "is" "nice" "+")
((triple4 ((triple5) -> (rule1 % int2))) -> (rule2 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is not nice.
False
4
inv-proof
[(((triple4 ((triple5) -> rule1)) -> rule2))]
("Erin" "is" "nice" "-")
((triple4 ((triple5) -> (rule1 % int2))) -> (rule2 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Anne is not nice.
Unknown
inv-rconc
[@1: Anne is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Anne" "is" "nice" "-")
Gary is nice.
Unknown
rconc
[@1: Gary is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "nice" "+")
Harry is not round.
Unknown
inv-rconc
[@1: Harry is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "round" "-")
Gary is rough.
Unknown
random
[@0: Gary is rough.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "rough" "+")
Harry is not big.
Unknown
inv-random
[@0: Harry is big.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "big" "-")
Harry is smart.
Unknown
random
[@0: Harry is smart.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "smart" "+")
@0: Anne is not young.[(triple2)] Anne is smart.[(triple1)] Erin is big.[(triple3)] Erin is rough.[(triple4)] Erin is smart.[(triple5)] Erin is white.[(triple6)] Gary is smart.[(triple7)] Gary is young.[(triple8)] Harry is nice.[(triple9)] Harry is not young.[(triple12)] Harry is rough.[(triple10)] Harry is white.[(triple11)] @1: Anne is round.[(((triple1) -> rule1))] Erin is round.[(((triple5) -> rule1))] Gary is round.[(((triple7) -> rule1))] @2: Erin is nice.[(((triple4 ((triple5) -> rule1)) -> rule2))]
Anne is not young.
("Anne" "is" "young" "-")
triple2
Anne is smart.
("Anne" "is" "smart" "+")
triple1
Erin is big.
("Erin" "is" "big" "+")
triple3
Erin is rough.
("Erin" "is" "rough" "+")
triple4
Erin is smart.
("Erin" "is" "smart" "+")
triple5
Erin is white.
("Erin" "is" "white" "+")
triple6
Gary is smart.
("Gary" "is" "smart" "+")
triple7
Gary is young.
("Gary" "is" "young" "+")
triple8
Harry is nice.
("Harry" "is" "nice" "+")
triple9
Harry is not young.
("Harry" "is" "young" "-")
triple12
Harry is rough.
("Harry" "is" "rough" "+")
triple10
Harry is white.
("Harry" "is" "white" "+")
triple11
Anne is round.
("Anne" "is" "round" "+")
((triple1) -> (rule1 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
((triple5) -> (rule1 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
((triple7) -> (rule1 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
((triple4 ((triple5) -> (rule1 % int2))) -> (rule2 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2