Erin is furry. Fiona is furry. Fiona is red. Gary is white. Harry is blue. Harry is furry. Harry is rough. All rough, furry people are white. Furry people are kind. Kind people are rough.
Erin is furry.
("Erin" "is" "furry" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Gary is white.
("Gary" "is" "white" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is rough.
("Harry" "is" "rough" "+")
All rough, furry people are white.
((("someone" "is" "rough" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "white" "+"))
Furry people are kind.
((("someone" "is" "furry" "+")) -> ("someone" "is" "kind" "+"))
Kind people are rough.
((("someone" "is" "kind" "+")) -> ("someone" "is" "rough" "+"))
Harry is furry.
True
1
proof
[(triple6)]
("Harry" "is" "furry" "+")
triple6
Fiona is not furry.
False
1
inv-proof
[(triple2)]
("Fiona" "is" "furry" "-")
triple2
Harry is kind.
True
2
proof
[(((triple6) -> rule2))]
("Harry" "is" "kind" "+")
((triple6) -> (rule2 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is not white.
False
3
inv-proof
[(((triple7 triple6) -> rule1) OR ((((((triple6) -> rule2)) -> rule3) triple6) -> rule1))]
("Harry" "is" "white" "-")
((triple7 triple6) -> (rule1 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
((((((triple6) -> (rule2 % int3))) -> (rule3 % int2)) triple6) -> (rule1 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Fiona is rough.
True
3
proof
[(((((triple2) -> rule2)) -> rule3))]
("Fiona" "is" "rough" "+")
((((triple2) -> (rule2 % int2))) -> (rule3 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Erin is not rough.
False
3
inv-proof
[(((((triple1) -> rule2)) -> rule3))]
("Erin" "is" "rough" "-")
((((triple1) -> (rule2 % int2))) -> (rule3 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Fiona is white.
True
5
proof
[(((((((triple2) -> rule2)) -> rule3) triple2) -> rule1))]
("Fiona" "is" "white" "+")
((((((triple2) -> (rule2 % int3))) -> (rule3 % int2)) triple2) -> (rule1 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Erin is not white.
False
5
inv-proof
[(((((((triple1) -> rule2)) -> rule3) triple1) -> rule1))]
("Erin" "is" "white" "-")
((((((triple1) -> (rule2 % int3))) -> (rule3 % int2)) triple1) -> (rule1 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
Gary is not kind.
Unknown
inv-rconc
[@1: Gary is kind.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "kind" "-")
Gary is rough.
Unknown
rconc
[@2: Gary is rough.[CWA. Example of deepest failure = (rule3 <- rule2 <- FAIL)]]
("Gary" "is" "rough" "+")
Erin is not red.
Unknown
inv-random
[@0: Erin is red.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "red" "-")
Erin is quiet.
Unknown
random
[@0: Erin is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "quiet" "+")
Gary is not red.
Unknown
inv-random
[@0: Gary is red.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "red" "-")
Gary is quiet.
Unknown
random
[@0: Gary is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "quiet" "+")
Fiona is not quiet.
Unknown
inv-random
[@0: Fiona is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "quiet" "-")
Harry is quiet.
Unknown
random
[@0: Harry is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "quiet" "+")
@0: Erin is furry.[(triple1)] Fiona is furry.[(triple2)] Fiona is red.[(triple3)] Gary is white.[(triple4)] Harry is blue.[(triple5)] Harry is furry.[(triple6)] Harry is rough.[(triple7 OR ((((triple6) -> rule2)) -> rule3))] @1: Erin is kind.[(((triple1) -> rule2))] Fiona is kind.[(((triple2) -> rule2))] Harry is kind.[(((triple6) -> rule2))] Harry is white.[(((triple7 triple6) -> rule1) OR ((((((triple6) -> rule2)) -> rule3) triple6) -> rule1))] @2: Erin is rough.[(((((triple1) -> rule2)) -> rule3))] Fiona is rough.[(((((triple2) -> rule2)) -> rule3))] @3: Erin is white.[(((((((triple1) -> rule2)) -> rule3) triple1) -> rule1))] Fiona is white.[(((((((triple2) -> rule2)) -> rule3) triple2) -> rule1))]
Erin is furry.
("Erin" "is" "furry" "+")
triple1
Fiona is furry.
("Fiona" "is" "furry" "+")
triple2
Fiona is red.
("Fiona" "is" "red" "+")
triple3
Gary is white.
("Gary" "is" "white" "+")
triple4
Harry is blue.
("Harry" "is" "blue" "+")
triple5
Harry is furry.
("Harry" "is" "furry" "+")
triple6
Harry is rough.
("Harry" "is" "rough" "+")
triple7
((((triple6) -> (rule2 % int2))) -> (rule3 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
((triple1) -> (rule2 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
((triple2) -> (rule2 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
((triple6) -> (rule2 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
((triple7 triple6) -> (rule1 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
((((((triple6) -> (rule2 % int3))) -> (rule3 % int2)) triple6) -> (rule1 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
((((triple1) -> (rule2 % int2))) -> (rule3 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
((((triple2) -> (rule2 % int2))) -> (rule3 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
((((((triple1) -> (rule2 % int3))) -> (rule3 % int2)) triple1) -> (rule1 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
((((((triple2) -> (rule2 % int3))) -> (rule3 % int2)) triple2) -> (rule1 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3