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