Bob is furry. Bob is white. Fiona is big. Fiona is rough. Harry is not kind. Harry is rough. Harry is young. White, rough people are furry. All rough people are white. Rough, nice people are white. Furry, white people are big. If Harry is nice and Harry is not rough then Harry is young. If Bob is young then Bob is rough. If Bob is kind then Bob is rough. If Fiona is white and Fiona is not kind then Fiona is nice.
Bob is furry.
("Bob" "is" "furry" "+")
Bob is white.
("Bob" "is" "white" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Harry is not kind.
("Harry" "is" "kind" "-")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is young.
("Harry" "is" "young" "+")
White, rough people are furry.
((("someone" "is" "white" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "furry" "+"))
All rough people are white.
((("someone" "is" "rough" "+")) -> ("someone" "is" "white" "+"))
Rough, nice people are white.
((("someone" "is" "rough" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "white" "+"))
Furry, white people are big.
((("someone" "is" "furry" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "big" "+"))
If Harry is nice and Harry is not rough then Harry is young.
((("Harry" "is" "nice" "+") ("Harry" "is" "rough" "~")) -> ("Harry" "is" "young" "+"))
If Bob is young then Bob is rough.
((("Bob" "is" "young" "+")) -> ("Bob" "is" "rough" "+"))
If Bob is kind then Bob is rough.
((("Bob" "is" "kind" "+")) -> ("Bob" "is" "rough" "+"))
If Fiona is white and Fiona is not kind then Fiona is nice.
((("Fiona" "is" "white" "+") ("Fiona" "is" "kind" "~")) -> ("Fiona" "is" "nice" "+"))
Harry is young.
True
1
proof
[(triple7)]
("Harry" "is" "young" "+")
triple7
Harry is kind.
False
1
inv-proof
[(triple5)]
("Harry" "is" "kind" "+")
triple5
Fiona is white.
True
2
proof
[(((triple4) -> rule2))]
("Fiona" "is" "white" "+")
((triple4) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is not white.
False
2
inv-proof
[(((triple4) -> rule2))]
("Fiona" "is" "white" "-")
((triple4) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Harry is furry.
True
4
proof
[(((((triple6) -> rule2) triple6) -> rule1))]
("Harry" "is" "furry" "+")
((((triple6) -> (rule2 % int2)) triple6) -> (rule1 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is not furry.
False
4
inv-proof
[(((((triple6) -> rule2) triple6) -> rule1))]
("Harry" "is" "furry" "-")
((((triple6) -> (rule2 % int2)) triple6) -> (rule1 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Bob is not rough.
Unknown
inv-rconc
[@1: Bob is rough.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Bob" "is" "rough" "-")
Fiona is nice.
Unknown
rconc
[@1: Fiona is nice.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("Fiona" "is" "nice" "+")
Fiona is not kind.
Unknown
inv-random
[@0: Fiona is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "kind" "-")
Bob is kind.
Unknown
random
[@0: Bob is kind.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "kind" "+")
Bob is not young.
Unknown
inv-random
[@0: Bob is young.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "young" "-")
Harry is nice.
Unknown
random
[@0: Harry is nice.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "nice" "+")
@0: Bob is furry.[(triple1)] Bob is white.[(triple2)] Fiona is big.[(triple3 OR ((((((triple4) -> rule2) triple4) -> rule1) ((triple4) -> rule2)) -> rule4))] Fiona is rough.[(triple4)] Harry is not kind.[(triple5)] Harry is rough.[(triple6)] Harry is young.[(triple7)] @1: Bob is big.[(((triple1 triple2) -> rule4))] Fiona is white.[(((triple4) -> rule2))] Harry is white.[(((triple6) -> rule2))] @2: Fiona is furry.[(((((triple4) -> rule2) triple4) -> rule1))] Harry is furry.[(((((triple6) -> rule2) triple6) -> rule1))] @3: Harry is big.[(((((((triple6) -> rule2) triple6) -> rule1) ((triple6) -> rule2)) -> rule4))]
Bob is furry.
("Bob" "is" "furry" "+")
triple1
Bob is white.
("Bob" "is" "white" "+")
triple2
Fiona is big.
("Fiona" "is" "big" "+")
triple3
((((((triple4) -> (rule2 % int3)) triple4) -> (rule1 % int2)) ((triple4) -> (rule2 % int3))) -> (rule4 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
triple4
Harry is not kind.
("Harry" "is" "kind" "-")
triple5
Harry is rough.
("Harry" "is" "rough" "+")
triple6
Harry is young.
("Harry" "is" "young" "+")
triple7
Bob is big.
("Bob" "is" "big" "+")
((triple1 triple2) -> (rule4 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
((triple4) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
((triple6) -> (rule2 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
((((triple4) -> (rule2 % int2)) triple4) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
((((triple6) -> (rule2 % int2)) triple6) -> (rule1 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
((((((triple6) -> (rule2 % int3)) triple6) -> (rule1 % int2)) ((triple6) -> (rule2 % int3))) -> (rule4 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3