Charlie is furry. Charlie is green. Charlie is quiet. Erin is green. Erin is kind. Fiona is furry. Fiona is green. Fiona is kind. Fiona is rough. Harry is quiet. All green things are rough. All nice things are white. All green things are kind. If something is rough then it is not nice. If Charlie is furry and Charlie is green then Charlie is quiet. If something is quiet and not green then it is furry. If something is green and not nice then it is furry. If Harry is rough and Harry is not furry then Harry is white.
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
All green things are rough.
((("something" "is" "green" "+")) -> ("something" "is" "rough" "+"))
All nice things are white.
((("something" "is" "nice" "+")) -> ("something" "is" "white" "+"))
All green things are kind.
((("something" "is" "green" "+")) -> ("something" "is" "kind" "+"))
If something is rough then it is not nice.
((("something" "is" "rough" "+")) -> ("something" "is" "nice" "-"))
If Charlie is furry and Charlie is green then Charlie is quiet.
((("Charlie" "is" "furry" "+") ("Charlie" "is" "green" "+")) -> ("Charlie" "is" "quiet" "+"))
If something is quiet and not green then it is furry.
((("something" "is" "quiet" "+") ("something" "is" "green" "~")) -> ("something" "is" "furry" "+"))
If something is green and not nice then it is furry.
((("something" "is" "green" "+") ("something" "is" "nice" "~")) -> ("something" "is" "furry" "+"))
If Harry is rough and Harry is not furry then Harry is white.
((("Harry" "is" "rough" "+") ("Harry" "is" "furry" "~")) -> ("Harry" "is" "white" "+"))
Erin is green.
True
1
proof
[(triple4)]
("Erin" "is" "green" "+")
triple4
Harry is not quiet.
False
1
inv-proof
[(triple10)]
("Harry" "is" "quiet" "-")
triple10
Erin is not white.
Unknown
inv-rconc
[@1: Erin is white.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Erin" "is" "white" "-")
Fiona is quiet.
Unknown
random
[@0: Fiona is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "quiet" "+")
@0: Charlie is furry.[(triple1 OR ((triple2 ((((triple2) -> rule1)) -> rule4)) -> rule7))] Charlie is green.[(triple2)] Charlie is quiet.[(triple3 OR ((triple1 triple2) -> rule5) OR ((((triple2 ((((triple2) -> rule1)) -> rule4)) -> rule7) triple2) -> rule5))] Erin is green.[(triple4)] Erin is kind.[(triple5 OR ((triple4) -> rule3))] Fiona is furry.[(triple6 OR ((triple7 ((triple9) -> rule4)) -> rule7) OR ((triple7 ((((triple7) -> rule1)) -> rule4)) -> rule7))] Fiona is green.[(triple7)] Fiona is kind.[(triple8 OR ((triple7) -> rule3))] Fiona is rough.[(triple9 OR ((triple7) -> rule1))] Harry is quiet.[(triple10)] @1: Charlie is kind.[(((triple2) -> rule3))] Charlie is rough.[(((triple2) -> rule1))] Erin is rough.[(((triple4) -> rule1))] Fiona is not nice.[(((triple9) -> rule4) OR ((((triple7) -> rule1)) -> rule4))] @2: Charlie is not nice.[(((((triple2) -> rule1)) -> rule4))] Erin is not nice.[(((((triple4) -> rule1)) -> rule4))] @3: Erin is furry.[(((triple4 ((((triple4) -> rule1)) -> rule4)) -> rule7))]
Charlie is furry.
("Charlie" "is" "furry" "+")
triple1
((triple2 ((((triple2) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is not nice.
("Charlie" "is" "nice" "-")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
triple2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple3
((triple1 triple2) -> (rule5 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
((((triple2 ((((triple2) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule7 % int2)) triple2) -> (rule5 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is not nice.
("Charlie" "is" "nice" "-")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
Erin is green.
("Erin" "is" "green" "+")
triple4
Erin is kind.
("Erin" "is" "kind" "+")
triple5
((triple4) -> (rule3 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
triple6
((triple7 ((triple9) -> (rule4 % int2))) -> (rule7 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is not nice.
("Fiona" "is" "nice" "-")
int2
((triple7 ((((triple7) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is not nice.
("Fiona" "is" "nice" "-")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is green.
("Fiona" "is" "green" "+")
triple7
Fiona is kind.
("Fiona" "is" "kind" "+")
triple8
((triple7) -> (rule3 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
triple9
((triple7) -> (rule1 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
triple10
Charlie is kind.
("Charlie" "is" "kind" "+")
((triple2) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
((triple2) -> (rule1 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
((triple4) -> (rule1 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Fiona is not nice.
("Fiona" "is" "nice" "-")
((triple9) -> (rule4 % int1))
Fiona is not nice.
("Fiona" "is" "nice" "-")
int1
((((triple7) -> (rule1 % int2))) -> (rule4 % int1))
Fiona is not nice.
("Fiona" "is" "nice" "-")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Charlie is not nice.
("Charlie" "is" "nice" "-")
((((triple2) -> (rule1 % int2))) -> (rule4 % int1))
Charlie is not nice.
("Charlie" "is" "nice" "-")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Erin is not nice.
("Erin" "is" "nice" "-")
((((triple4) -> (rule1 % int2))) -> (rule4 % int1))
Erin is not nice.
("Erin" "is" "nice" "-")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
((triple4 ((((triple4) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is not nice.
("Erin" "is" "nice" "-")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3