Bob is nice. Bob is red. Bob is rough. Charlie is furry. Erin is quiet. Erin is rough. Gary is nice. All nice people are smart. If Gary is smart then Gary is furry. Smart people are rough. If Charlie is cold and Charlie is furry then Charlie is red. All quiet, nice people are rough. If Gary is smart and Gary is cold then Gary is red.
Bob is nice.
("Bob" "is" "nice" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Gary is nice.
("Gary" "is" "nice" "+")
All nice people are smart.
((("someone" "is" "nice" "+")) -> ("someone" "is" "smart" "+"))
If Gary is smart then Gary is furry.
((("Gary" "is" "smart" "+")) -> ("Gary" "is" "furry" "+"))
Smart people are rough.
((("someone" "is" "smart" "+")) -> ("someone" "is" "rough" "+"))
If Charlie is cold and Charlie is furry then Charlie is red.
((("Charlie" "is" "cold" "+") ("Charlie" "is" "furry" "+")) -> ("Charlie" "is" "red" "+"))
All quiet, nice people are rough.
((("someone" "is" "quiet" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
If Gary is smart and Gary is cold then Gary is red.
((("Gary" "is" "smart" "+") ("Gary" "is" "cold" "+")) -> ("Gary" "is" "red" "+"))
Erin is quiet.
True
1
proof
[(triple5)]
("Erin" "is" "quiet" "+")
triple5
Erin is not quiet.
False
1
inv-proof
[(triple5)]
("Erin" "is" "quiet" "-")
triple5
Bob is smart.
True
2
proof
[(((triple1) -> rule1))]
("Bob" "is" "smart" "+")
((triple1) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Gary is not smart.
False
2
inv-proof
[(((triple7) -> rule1))]
("Gary" "is" "smart" "-")
((triple7) -> (rule1 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is furry.
True
3
proof
[(((((triple7) -> rule1)) -> rule2))]
("Gary" "is" "furry" "+")
((((triple7) -> (rule1 % int2))) -> (rule2 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is not rough.
False
3
inv-proof
[(((((triple7) -> rule1)) -> rule3))]
("Gary" "is" "rough" "-")
((((triple7) -> (rule1 % int2))) -> (rule3 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Charlie is not red.
Unknown
inv-rconc
[@1: Charlie is red.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Charlie" "is" "red" "-")
Erin is smart.
Unknown
rconc
[@1: Erin is smart.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Erin" "is" "smart" "+")
Gary is not red.
Unknown
inv-rconc
[@1: Gary is red.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Gary" "is" "red" "-")
Bob is quiet.
Unknown
random
[@0: Bob is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "quiet" "+")
Gary is not quiet.
Unknown
inv-random
[@0: Gary is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "quiet" "-")
Gary is cold.
Unknown
random
[@0: Gary is cold.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "cold" "+")
@0: Bob is nice.[(triple1)] Bob is red.[(triple2)] Bob is rough.[(triple3 OR ((((triple1) -> rule1)) -> rule3))] Charlie is furry.[(triple4)] Erin is quiet.[(triple5)] Erin is rough.[(triple6)] Gary is nice.[(triple7)] @1: Bob is smart.[(((triple1) -> rule1))] Gary is smart.[(((triple7) -> rule1))] @2: Gary is furry.[(((((triple7) -> rule1)) -> rule2))] Gary is rough.[(((((triple7) -> rule1)) -> rule3))]
Bob is nice.
("Bob" "is" "nice" "+")
triple1
Bob is red.
("Bob" "is" "red" "+")
triple2
Bob is rough.
("Bob" "is" "rough" "+")
triple3
((((triple1) -> (rule1 % int2))) -> (rule3 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
triple4
Erin is quiet.
("Erin" "is" "quiet" "+")
triple5
Erin is rough.
("Erin" "is" "rough" "+")
triple6
Gary is nice.
("Gary" "is" "nice" "+")
triple7
Bob is smart.
("Bob" "is" "smart" "+")
((triple1) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
((triple7) -> (rule1 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
((((triple7) -> (rule1 % int2))) -> (rule2 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
((((triple7) -> (rule1 % int2))) -> (rule3 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2