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