Bob is green. Bob is smart. Dave is furry. Dave is kind. Dave is not smart. Dave is white. Erin is not furry. Erin is green. Erin is kind. Erin is quiet. Erin is smart. Harry is green. Harry is kind. Harry is quiet. Harry is smart. If Bob is smart and Bob is green then Bob is kind. Kind things are white.
Bob is green.
("Bob" "is" "green" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is not smart.
("Dave" "is" "smart" "-")
Dave is white.
("Dave" "is" "white" "+")
Erin is not furry.
("Erin" "is" "furry" "-")
Erin is green.
("Erin" "is" "green" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is smart.
("Harry" "is" "smart" "+")
If Bob is smart and Bob is green then Bob is kind.
((("Bob" "is" "smart" "+") ("Bob" "is" "green" "+")) -> ("Bob" "is" "kind" "+"))
Kind things are white.
((("something" "is" "kind" "+")) -> ("something" "is" "white" "+"))
Dave is furry.
True
1
proof
[(triple3)]
("Dave" "is" "furry" "+")
triple3
Erin is not quiet.
False
1
inv-proof
[(triple10)]
("Erin" "is" "quiet" "-")
triple10
Bob is kind.
True
3
proof
[(((triple2 triple1) -> rule1))]
("Bob" "is" "kind" "+")
((triple2 triple1) -> (rule1 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is not kind.
False
3
inv-proof
[(((triple2 triple1) -> rule1))]
("Bob" "is" "kind" "-")
((triple2 triple1) -> (rule1 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is white.
True
4
proof
[(((((triple2 triple1) -> rule1)) -> rule2))]
("Bob" "is" "white" "+")
((((triple2 triple1) -> (rule1 % int2))) -> (rule2 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is not white.
False
4
inv-proof
[(((((triple2 triple1) -> rule1)) -> rule2))]
("Bob" "is" "white" "-")
((((triple2 triple1) -> (rule1 % int2))) -> (rule2 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Dave is not blue.
Unknown
inv-random
[@0: Dave is blue.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "blue" "-")
Dave is quiet.
Unknown
random
[@0: Dave is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "quiet" "+")
Erin is not blue.
Unknown
inv-random
[@0: Erin is blue.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "blue" "-")
Bob is blue.
Unknown
random
[@0: Bob is blue.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "blue" "+")
Harry is not blue.
Unknown
inv-random
[@0: Harry is blue.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "blue" "-")
Bob is furry.
Unknown
random
[@0: Bob is furry.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "furry" "+")
@0: Bob is green.[(triple1)] Bob is smart.[(triple2)] Dave is furry.[(triple3)] Dave is kind.[(triple4)] Dave is not smart.[(triple5)] Dave is white.[(triple6 OR ((triple4) -> rule2))] Erin is green.[(triple8)] Erin is kind.[(triple9)] Erin is not furry.[(triple7)] Erin is quiet.[(triple10)] Erin is smart.[(triple11)] Harry is green.[(triple12)] Harry is kind.[(triple13)] Harry is quiet.[(triple14)] Harry is smart.[(triple15)] @1: Bob is kind.[(((triple2 triple1) -> rule1))] Erin is white.[(((triple9) -> rule2))] Harry is white.[(((triple13) -> rule2))] @2: Bob is white.[(((((triple2 triple1) -> rule1)) -> rule2))]
Bob is green.
("Bob" "is" "green" "+")
triple1
Bob is smart.
("Bob" "is" "smart" "+")
triple2
Dave is furry.
("Dave" "is" "furry" "+")
triple3
Dave is kind.
("Dave" "is" "kind" "+")
triple4
Dave is not smart.
("Dave" "is" "smart" "-")
triple5
Dave is white.
("Dave" "is" "white" "+")
triple6
((triple4) -> (rule2 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
triple8
Erin is kind.
("Erin" "is" "kind" "+")
triple9
Erin is not furry.
("Erin" "is" "furry" "-")
triple7
Erin is quiet.
("Erin" "is" "quiet" "+")
triple10
Erin is smart.
("Erin" "is" "smart" "+")
triple11
Harry is green.
("Harry" "is" "green" "+")
triple12
Harry is kind.
("Harry" "is" "kind" "+")
triple13
Harry is quiet.
("Harry" "is" "quiet" "+")
triple14
Harry is smart.
("Harry" "is" "smart" "+")
triple15
Bob is kind.
("Bob" "is" "kind" "+")
((triple2 triple1) -> (rule1 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
((triple9) -> (rule2 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
((triple13) -> (rule2 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
((((triple2 triple1) -> (rule1 % int2))) -> (rule2 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2