Bob is not rough. Fiona is white. Harry is kind. Nice, white people are young. All green people are not nice. If someone is green then they are kind. If someone is green then they are kind. If someone is kind then they are not rough. If someone is white then they are green.
Bob is not rough.
("Bob" "is" "rough" "-")
Fiona is white.
("Fiona" "is" "white" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Nice, white people are young.
((("someone" "is" "nice" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "young" "+"))
All green people are not nice.
((("someone" "is" "green" "+")) -> ("someone" "is" "nice" "-"))
If someone is green then they are kind.
((("someone" "is" "green" "+")) -> ("someone" "is" "kind" "+"))
If someone is green then they are kind.
((("someone" "is" "green" "+")) -> ("someone" "is" "kind" "+"))
If someone is kind then they are not rough.
((("someone" "is" "kind" "+")) -> ("someone" "is" "rough" "-"))
If someone is white then they are green.
((("someone" "is" "white" "+")) -> ("someone" "is" "green" "+"))
Fiona is white.
True
1
proof
[(triple2)]
("Fiona" "is" "white" "+")
triple2
Harry is not kind.
False
1
inv-proof
[(triple3)]
("Harry" "is" "kind" "-")
triple3
Fiona is green.
True
2
proof
[(((triple2) -> rule6))]
("Fiona" "is" "green" "+")
((triple2) -> (rule6 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is not green.
False
2
inv-proof
[(((triple2) -> rule6))]
("Fiona" "is" "green" "-")
((triple2) -> (rule6 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is kind.
True
3
proof
[(((((triple2) -> rule6)) -> rule3) OR ((((triple2) -> rule6)) -> rule4))]
("Fiona" "is" "kind" "+")
((((triple2) -> (rule6 % int2))) -> (rule3 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
((((triple2) -> (rule6 % int2))) -> (rule4 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is nice.
False
3
inv-proof
[(((((triple2) -> rule6)) -> rule2))]
("Fiona" "is" "nice" "+")
((((triple2) -> (rule6 % int2))) -> (rule2 % int1))
Fiona is not nice.
("Fiona" "is" "nice" "-")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is not rough.
True
4
proof
[(((((((triple2) -> rule6)) -> rule3)) -> rule5) OR ((((((triple2) -> rule6)) -> rule4)) -> rule5))]
("Fiona" "is" "rough" "-")
((((((triple2) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Fiona is not rough.
("Fiona" "is" "rough" "-")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
((((((triple2) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Fiona is not rough.
("Fiona" "is" "rough" "-")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is rough.
False
4
inv-proof
[(((((((triple2) -> rule6)) -> rule3)) -> rule5) OR ((((((triple2) -> rule6)) -> rule4)) -> rule5))]
("Fiona" "is" "rough" "+")
((((((triple2) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Fiona is not rough.
("Fiona" "is" "rough" "-")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
((((((triple2) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Fiona is not rough.
("Fiona" "is" "rough" "-")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is not young.
Unknown
inv-rconc
[@1: Fiona is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "young" "-")
Bob is young.
Unknown
rconc
[@1: Bob is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "young" "+")
Bob is not kind.
Unknown
inv-rconc
[@2: Bob is kind.[CWA. Example of deepest failure = (rule3 <- rule6 <- FAIL)]]
("Bob" "is" "kind" "-")
Harry is young.
Unknown
rconc
[@1: Harry is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "young" "+")
Fiona is not smart.
Unknown
inv-random
[@0: Fiona is smart.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "smart" "-")
Bob is white.
Unknown
random
[@0: Bob is white.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "white" "+")
Harry is not nice.
Unknown
inv-random
[@0: Harry is nice.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "nice" "-")
Harry is white.
Unknown
random
[@0: Harry is white.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "white" "+")
@0: Bob is not rough.[(triple1)] Fiona is white.[(triple2)] Harry is kind.[(triple3)] @1: Fiona is green.[(((triple2) -> rule6))] Harry is not rough.[(((triple3) -> rule5))] @2: Fiona is kind.[(((((triple2) -> rule6)) -> rule3) OR ((((triple2) -> rule6)) -> rule4))] Fiona is not nice.[(((((triple2) -> rule6)) -> rule2))] @3: Fiona is not rough.[(((((((triple2) -> rule6)) -> rule3)) -> rule5) OR ((((((triple2) -> rule6)) -> rule4)) -> rule5))]
Bob is not rough.
("Bob" "is" "rough" "-")
triple1
Fiona is white.
("Fiona" "is" "white" "+")
triple2
Harry is kind.
("Harry" "is" "kind" "+")
triple3
Fiona is green.
("Fiona" "is" "green" "+")
((triple2) -> (rule6 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Harry is not rough.
("Harry" "is" "rough" "-")
((triple3) -> (rule5 % int1))
Harry is not rough.
("Harry" "is" "rough" "-")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
((((triple2) -> (rule6 % int2))) -> (rule3 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
((((triple2) -> (rule6 % int2))) -> (rule4 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is not nice.
("Fiona" "is" "nice" "-")
((((triple2) -> (rule6 % int2))) -> (rule2 % int1))
Fiona is not nice.
("Fiona" "is" "nice" "-")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is not rough.
("Fiona" "is" "rough" "-")
((((((triple2) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Fiona is not rough.
("Fiona" "is" "rough" "-")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
((((((triple2) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Fiona is not rough.
("Fiona" "is" "rough" "-")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3