Charlie is rough. Charlie is round. Fiona is red. Fiona is rough. Gary is blue. Gary is not furry. Gary is kind. Gary is rough. Gary is not white. Harry is not blue. Harry is kind. Harry is white. Kind people are not furry. If someone is white and not furry then they are not rough.
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is not furry.
("Gary" "is" "furry" "-")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is not white.
("Gary" "is" "white" "-")
Harry is not blue.
("Harry" "is" "blue" "-")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is white.
("Harry" "is" "white" "+")
Kind people are not furry.
((("someone" "is" "kind" "+")) -> ("someone" "is" "furry" "-"))
If someone is white and not furry then they are not rough.
((("someone" "is" "white" "+") ("someone" "is" "furry" "~")) -> ("someone" "is" "rough" "-"))
Fiona is rough.
True
1
proof
[(triple4)]
("Fiona" "is" "rough" "+")
triple4
Gary is furry.
False
1
inv-proof
[(triple6 OR ((triple7) -> rule1))]
("Gary" "is" "furry" "+")
triple6
((triple7) -> (rule1 % int1))
Gary is not furry.
("Gary" "is" "furry" "-")
int1
Harry is not furry.
True
2
proof
[(((triple11) -> rule1))]
("Harry" "is" "furry" "-")
((triple11) -> (rule1 % int1))
Harry is not furry.
("Harry" "is" "furry" "-")
int1
Harry is furry.
False
2
inv-proof
[(((triple11) -> rule1))]
("Harry" "is" "furry" "+")
((triple11) -> (rule1 % int1))
Harry is not furry.
("Harry" "is" "furry" "-")
int1
Harry is not rough.
True
4
proof
[(((triple12 ((triple11) -> rule1)) -> rule2))]
("Harry" "is" "rough" "-")
((triple12 ((triple11) -> (rule1 % int2))) -> (rule2 % int1))
Harry is not rough.
("Harry" "is" "rough" "-")
int1
Harry is not furry.
("Harry" "is" "furry" "-")
int2
Harry is rough.
False
4
inv-proof
[(((triple12 ((triple11) -> rule1)) -> rule2))]
("Harry" "is" "rough" "+")
((triple12 ((triple11) -> (rule1 % int2))) -> (rule2 % int1))
Harry is not rough.
("Harry" "is" "rough" "-")
int1
Harry is not furry.
("Harry" "is" "furry" "-")
int2
Fiona is not round.
Unknown
inv-random
[@0: Fiona is round.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "round" "-")
Fiona is furry.
Unknown
random
[@0: Fiona is furry.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "furry" "+")
Harry is not round.
Unknown
inv-random
[@0: Harry is round.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "round" "-")
Charlie is white.
Unknown
random
[@0: Charlie is white.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "white" "+")
Charlie is not red.
Unknown
inv-random
[@0: Charlie is red.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "red" "-")
Gary is round.
Unknown
random
[@0: Gary is round.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "round" "+")
@0: Charlie is rough.[(triple1)] Charlie is round.[(triple2)] Fiona is red.[(triple3)] Fiona is rough.[(triple4)] Gary is blue.[(triple5)] Gary is kind.[(triple7)] Gary is not furry.[(triple6 OR ((triple7) -> rule1))] Gary is not white.[(triple9)] Gary is rough.[(triple8)] Harry is kind.[(triple11)] Harry is not blue.[(triple10)] Harry is white.[(triple12)] @1: Harry is not furry.[(((triple11) -> rule1))] @2: Harry is not rough.[(((triple12 ((triple11) -> rule1)) -> rule2))]
Charlie is rough.
("Charlie" "is" "rough" "+")
triple1
Charlie is round.
("Charlie" "is" "round" "+")
triple2
Fiona is red.
("Fiona" "is" "red" "+")
triple3
Fiona is rough.
("Fiona" "is" "rough" "+")
triple4
Gary is blue.
("Gary" "is" "blue" "+")
triple5
Gary is kind.
("Gary" "is" "kind" "+")
triple7
Gary is not furry.
("Gary" "is" "furry" "-")
triple6
((triple7) -> (rule1 % int1))
Gary is not furry.
("Gary" "is" "furry" "-")
int1
Gary is not white.
("Gary" "is" "white" "-")
triple9
Gary is rough.
("Gary" "is" "rough" "+")
triple8
Harry is kind.
("Harry" "is" "kind" "+")
triple11
Harry is not blue.
("Harry" "is" "blue" "-")
triple10
Harry is white.
("Harry" "is" "white" "+")
triple12
Harry is not furry.
("Harry" "is" "furry" "-")
((triple11) -> (rule1 % int1))
Harry is not furry.
("Harry" "is" "furry" "-")
int1
Harry is not rough.
("Harry" "is" "rough" "-")
((triple12 ((triple11) -> (rule1 % int2))) -> (rule2 % int1))
Harry is not rough.
("Harry" "is" "rough" "-")
int1
Harry is not furry.
("Harry" "is" "furry" "-")
int2