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