Erin is blue. Erin is rough. Erin is round. Erin is young. Harry is blue. Harry is quiet. Harry is young. Quiet people are nice. If someone is blue then they are rough. If someone is nice and quiet then they are round.
Erin is blue.
("Erin" "is" "blue" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is round.
("Erin" "is" "round" "+")
Erin is young.
("Erin" "is" "young" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is young.
("Harry" "is" "young" "+")
Quiet people are nice.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "nice" "+"))
If someone is blue then they are rough.
((("someone" "is" "blue" "+")) -> ("someone" "is" "rough" "+"))
If someone is nice and quiet then they are round.
((("someone" "is" "nice" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "round" "+"))
Harry is young.
True
1
proof
[(triple7)]
("Harry" "is" "young" "+")
triple7
Erin is not blue.
False
1
inv-proof
[(triple1)]
("Erin" "is" "blue" "-")
triple1
Harry is rough.
True
2
proof
[(((triple5) -> rule2))]
("Harry" "is" "rough" "+")
((triple5) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is not rough.
False
2
inv-proof
[(((triple5) -> rule2))]
("Harry" "is" "rough" "-")
((triple5) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is round.
True
4
proof
[(((((triple6) -> rule1) triple6) -> rule3))]
("Harry" "is" "round" "+")
((((triple6) -> (rule1 % int2)) triple6) -> (rule3 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is not round.
False
4
inv-proof
[(((((triple6) -> rule1) triple6) -> rule3))]
("Harry" "is" "round" "-")
((((triple6) -> (rule1 % int2)) triple6) -> (rule3 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Erin is not nice.
Unknown
inv-rconc
[@1: Erin is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Erin" "is" "nice" "-")
Erin is quiet.
Unknown
random
[@0: Erin is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "quiet" "+")
Harry is not cold.
Unknown
inv-random
[@0: Harry is cold.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "cold" "-")
Erin is cold.
Unknown
random
[@0: Erin is cold.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "cold" "+")
@0: Erin is blue.[(triple1)] Erin is rough.[(triple2 OR ((triple1) -> rule2))] Erin is round.[(triple3)] Erin is young.[(triple4)] Harry is blue.[(triple5)] Harry is quiet.[(triple6)] Harry is young.[(triple7)] @1: Harry is nice.[(((triple6) -> rule1))] Harry is rough.[(((triple5) -> rule2))] @2: Harry is round.[(((((triple6) -> rule1) triple6) -> rule3))]
Erin is blue.
("Erin" "is" "blue" "+")
triple1
Erin is rough.
("Erin" "is" "rough" "+")
triple2
((triple1) -> (rule2 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
triple3
Erin is young.
("Erin" "is" "young" "+")
triple4
Harry is blue.
("Harry" "is" "blue" "+")
triple5
Harry is quiet.
("Harry" "is" "quiet" "+")
triple6
Harry is young.
("Harry" "is" "young" "+")
triple7
Harry is nice.
("Harry" "is" "nice" "+")
((triple6) -> (rule1 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
((triple5) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
((((triple6) -> (rule1 % int2)) triple6) -> (rule3 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2