Bob is green. Bob is kind. Bob is nice. Bob is rough. Bob is white. Charlie is kind. Charlie is red. Erin is green. Erin is nice. Erin is red. Erin is smart. Erin is white. Harry is green. Harry is red. Harry is smart. Nice, kind things are smart. If something is rough and smart then it is red. If something is red and rough then it is smart.
Bob is green.
("Bob" "is" "green" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is white.
("Bob" "is" "white" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Erin is white.
("Erin" "is" "white" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is smart.
("Harry" "is" "smart" "+")
Nice, kind things are smart.
((("something" "is" "nice" "+") ("something" "is" "kind" "+")) -> ("something" "is" "smart" "+"))
If something is rough and smart then it is red.
((("something" "is" "rough" "+") ("something" "is" "smart" "+")) -> ("something" "is" "red" "+"))
If something is red and rough then it is smart.
((("something" "is" "red" "+") ("something" "is" "rough" "+")) -> ("something" "is" "smart" "+"))
Erin is nice.
True
1
proof
[(triple9)]
("Erin" "is" "nice" "+")
triple9
Erin is not nice.
False
1
inv-proof
[(triple9)]
("Erin" "is" "nice" "-")
triple9
Bob is smart.
True
3
proof
[(((triple3 triple2) -> rule1))]
("Bob" "is" "smart" "+")
((triple3 triple2) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is not smart.
False
3
inv-proof
[(((triple3 triple2) -> rule1))]
("Bob" "is" "smart" "-")
((triple3 triple2) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is red.
True
5
proof
[(((triple4 ((triple3 triple2) -> rule1)) -> rule2))]
("Bob" "is" "red" "+")
((triple4 ((triple3 triple2) -> (rule1 % int2))) -> (rule2 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is not red.
False
5
inv-proof
[(((triple4 ((triple3 triple2) -> rule1)) -> rule2))]
("Bob" "is" "red" "-")
((triple4 ((triple3 triple2) -> (rule1 % int2))) -> (rule2 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Charlie is not smart.
Unknown
inv-rconc
[@1: Charlie is smart.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "smart" "-")
Harry is kind.
Unknown
random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "+")
Harry is not nice.
Unknown
inv-random
[@0: Harry is nice.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "nice" "-")
Charlie is nice.
Unknown
random
[@0: Charlie is nice.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "nice" "+")
Charlie is not rough.
Unknown
inv-random
[@0: Charlie is rough.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "rough" "-")
Charlie is white.
Unknown
random
[@0: Charlie is white.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "white" "+")
@0: Bob is green.[(triple1)] Bob is kind.[(triple2)] Bob is nice.[(triple3)] Bob is rough.[(triple4)] Bob is white.[(triple5)] Charlie is kind.[(triple6)] Charlie is red.[(triple7)] Erin is green.[(triple8)] Erin is nice.[(triple9)] Erin is red.[(triple10)] Erin is smart.[(triple11)] Erin is white.[(triple12)] Harry is green.[(triple13)] Harry is red.[(triple14)] Harry is smart.[(triple15)] @1: Bob is smart.[(((triple3 triple2) -> rule1))] @2: Bob is red.[(((triple4 ((triple3 triple2) -> rule1)) -> rule2))]
Bob is green.
("Bob" "is" "green" "+")
triple1
Bob is kind.
("Bob" "is" "kind" "+")
triple2
Bob is nice.
("Bob" "is" "nice" "+")
triple3
Bob is rough.
("Bob" "is" "rough" "+")
triple4
Bob is white.
("Bob" "is" "white" "+")
triple5
Charlie is kind.
("Charlie" "is" "kind" "+")
triple6
Charlie is red.
("Charlie" "is" "red" "+")
triple7
Erin is green.
("Erin" "is" "green" "+")
triple8
Erin is nice.
("Erin" "is" "nice" "+")
triple9
Erin is red.
("Erin" "is" "red" "+")
triple10
Erin is smart.
("Erin" "is" "smart" "+")
triple11
Erin is white.
("Erin" "is" "white" "+")
triple12
Harry is green.
("Harry" "is" "green" "+")
triple13
Harry is red.
("Harry" "is" "red" "+")
triple14
Harry is smart.
("Harry" "is" "smart" "+")
triple15
Bob is smart.
("Bob" "is" "smart" "+")
((triple3 triple2) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
((triple4 ((triple3 triple2) -> (rule1 % int2))) -> (rule2 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2