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