Bob is blue. Bob is not furry. Bob is not kind. Bob is nice. Bob is quiet. Bob is smart. Bob is young. Charlie is kind. Charlie is nice. Charlie is quiet. Charlie is young. Erin is blue. Erin is not furry. Erin is quiet. Erin is young. Young, quiet people are smart. All smart people are quiet.
Bob is blue.
("Bob" "is" "blue" "+")
Bob is not furry.
("Bob" "is" "furry" "-")
Bob is not kind.
("Bob" "is" "kind" "-")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Bob is young.
("Bob" "is" "young" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is not furry.
("Erin" "is" "furry" "-")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is young.
("Erin" "is" "young" "+")
Young, quiet people are smart.
((("someone" "is" "young" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "smart" "+"))
All smart people are quiet.
((("someone" "is" "smart" "+")) -> ("someone" "is" "quiet" "+"))
Bob is quiet.
True
1
proof
[(triple5 OR ((triple6) -> rule2))]
("Bob" "is" "quiet" "+")
triple5
((triple6) -> (rule2 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Charlie is not kind.
False
1
inv-proof
[(triple8)]
("Charlie" "is" "kind" "-")
triple8
Erin is smart.
True
3
proof
[(((triple15 triple14) -> rule1))]
("Erin" "is" "smart" "+")
((triple15 triple14) -> (rule1 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is not smart.
False
3
inv-proof
[(((triple15 triple14) -> rule1))]
("Erin" "is" "smart" "-")
((triple15 triple14) -> (rule1 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Charlie is not furry.
Unknown
inv-random
[@0: Charlie is furry.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "furry" "-")
Erin is nice.
Unknown
random
[@0: Erin is nice.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "nice" "+")
Erin is not kind.
Unknown
inv-random
[@0: Erin is kind.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "kind" "-")
Charlie is blue.
Unknown
random
[@0: Charlie is blue.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "blue" "+")
@0: Bob is blue.[(triple1)] Bob is nice.[(triple4)] Bob is not furry.[(triple2)] Bob is not kind.[(triple3)] Bob is quiet.[(triple5 OR ((triple6) -> rule2))] Bob is smart.[(triple6 OR ((triple7 triple5) -> rule1))] Bob is young.[(triple7)] Charlie is kind.[(triple8)] Charlie is nice.[(triple9)] Charlie is quiet.[(triple10)] Charlie is young.[(triple11)] Erin is blue.[(triple12)] Erin is not furry.[(triple13)] Erin is quiet.[(triple14)] Erin is young.[(triple15)] @1: Charlie is smart.[(((triple11 triple10) -> rule1))] Erin is smart.[(((triple15 triple14) -> rule1))]
Bob is blue.
("Bob" "is" "blue" "+")
triple1
Bob is nice.
("Bob" "is" "nice" "+")
triple4
Bob is not furry.
("Bob" "is" "furry" "-")
triple2
Bob is not kind.
("Bob" "is" "kind" "-")
triple3
Bob is quiet.
("Bob" "is" "quiet" "+")
triple5
((triple6) -> (rule2 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
triple6
((triple7 triple5) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
triple7
Charlie is kind.
("Charlie" "is" "kind" "+")
triple8
Charlie is nice.
("Charlie" "is" "nice" "+")
triple9
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple10
Charlie is young.
("Charlie" "is" "young" "+")
triple11
Erin is blue.
("Erin" "is" "blue" "+")
triple12
Erin is not furry.
("Erin" "is" "furry" "-")
triple13
Erin is quiet.
("Erin" "is" "quiet" "+")
triple14
Erin is young.
("Erin" "is" "young" "+")
triple15
Charlie is smart.
("Charlie" "is" "smart" "+")
((triple11 triple10) -> (rule1 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
((triple15 triple14) -> (rule1 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1