Erin is quiet. Erin is rough. Erin is white. Harry is furry. Harry is kind. Harry is nice. Harry is quiet. Harry is rough. Harry is round. Harry is white. All furry people are white. If someone is round and furry then they are kind. White people are round. If someone is nice then they are quiet. Furry people are white. If someone is kind and nice then they are round.
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is white.
("Erin" "is" "white" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is white.
("Harry" "is" "white" "+")
All furry people are white.
((("someone" "is" "furry" "+")) -> ("someone" "is" "white" "+"))
If someone is round and furry then they are kind.
((("someone" "is" "round" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "kind" "+"))
White people are round.
((("someone" "is" "white" "+")) -> ("someone" "is" "round" "+"))
If someone is nice then they are quiet.
((("someone" "is" "nice" "+")) -> ("someone" "is" "quiet" "+"))
Furry people are white.
((("someone" "is" "furry" "+")) -> ("someone" "is" "white" "+"))
If someone is kind and nice then they are round.
((("someone" "is" "kind" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "round" "+"))
Erin is rough.
True
1
proof
[(triple2)]
("Erin" "is" "rough" "+")
triple2
Erin is not white.
False
1
inv-proof
[(triple3)]
("Erin" "is" "white" "-")
triple3
Erin is not kind.
Unknown
inv-rconc
[@1: Erin is kind.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Erin" "is" "kind" "-")
Erin is furry.
Unknown
random
[@0: Erin is furry.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "furry" "+")
@0: Erin is quiet.[(triple1)] Erin is rough.[(triple2)] Erin is white.[(triple3)] Harry is furry.[(triple4)] Harry is kind.[(triple5 OR ((triple9 triple4) -> rule2) OR ((((triple10) -> rule3) triple4) -> rule2) OR ((((((triple4) -> rule1)) -> rule3) triple4) -> rule2) OR ((((((triple4) -> rule5)) -> rule3) triple4) -> rule2))] Harry is nice.[(triple6)] Harry is quiet.[(triple7 OR ((triple6) -> rule4))] Harry is rough.[(triple8)] Harry is round.[(triple9 OR ((triple10) -> rule3) OR ((triple5 triple6) -> rule6) OR ((((triple4) -> rule1)) -> rule3) OR ((((triple4) -> rule5)) -> rule3))] Harry is white.[(triple10 OR ((triple4) -> rule1) OR ((triple4) -> rule5))] @1: Erin is round.[(((triple3) -> rule3))]
Erin is quiet.
("Erin" "is" "quiet" "+")
triple1
Erin is rough.
("Erin" "is" "rough" "+")
triple2
Erin is white.
("Erin" "is" "white" "+")
triple3
Harry is furry.
("Harry" "is" "furry" "+")
triple4
Harry is kind.
("Harry" "is" "kind" "+")
triple5
((triple9 triple4) -> (rule2 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
((((triple10) -> (rule3 % int2)) triple4) -> (rule2 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
((((((triple4) -> (rule1 % int3))) -> (rule3 % int2)) triple4) -> (rule2 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
((((((triple4) -> (rule5 % int3))) -> (rule3 % int2)) triple4) -> (rule2 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
triple6
Harry is quiet.
("Harry" "is" "quiet" "+")
triple7
((triple6) -> (rule4 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
triple8
Harry is round.
("Harry" "is" "round" "+")
triple9
((triple10) -> (rule3 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
((triple5 triple6) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
((((triple4) -> (rule1 % int2))) -> (rule3 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
((((triple4) -> (rule5 % int2))) -> (rule3 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
triple10
((triple4) -> (rule1 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
((triple4) -> (rule5 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
((triple3) -> (rule3 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1