Bob is big. Charlie is big. Charlie is young. Fiona is cold. Fiona is kind. Fiona is round. Fiona is young. Harry is big. Harry is cold. Harry is young. All big things are red. Red things are quiet.
Bob is big.
("Bob" "is" "big" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is young.
("Harry" "is" "young" "+")
All big things are red.
((("something" "is" "big" "+")) -> ("something" "is" "red" "+"))
Red things are quiet.
((("something" "is" "red" "+")) -> ("something" "is" "quiet" "+"))
Charlie is big.
True
1
proof
[(triple2)]
("Charlie" "is" "big" "+")
triple2
Fiona is not round.
False
1
inv-proof
[(triple6)]
("Fiona" "is" "round" "-")
triple6
Harry is red.
True
2
proof
[(((triple8) -> rule1))]
("Harry" "is" "red" "+")
((triple8) -> (rule1 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Charlie is not red.
False
2
inv-proof
[(((triple2) -> rule1))]
("Charlie" "is" "red" "-")
((triple2) -> (rule1 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Bob is quiet.
True
3
proof
[(((((triple1) -> rule1)) -> rule2))]
("Bob" "is" "quiet" "+")
((((triple1) -> (rule1 % int2))) -> (rule2 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Harry is not quiet.
False
3
inv-proof
[(((((triple8) -> rule1)) -> rule2))]
("Harry" "is" "quiet" "-")
((((triple8) -> (rule1 % int2))) -> (rule2 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Fiona is not red.
Unknown
inv-rconc
[@1: Fiona is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "red" "-")
Fiona is quiet.
Unknown
rconc
[@2: Fiona is quiet.[CWA. Example of deepest failure = (rule2 <- rule1 <- FAIL)]]
("Fiona" "is" "quiet" "+")
Bob is not kind.
Unknown
inv-random
[@0: Bob is kind.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "kind" "-")
Bob is young.
Unknown
random
[@0: Bob is young.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "young" "+")
Bob is not cold.
Unknown
inv-random
[@0: Bob is cold.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "cold" "-")
Bob is round.
Unknown
random
[@0: Bob is round.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "round" "+")
@0: Bob is big.[(triple1)] Charlie is big.[(triple2)] Charlie is young.[(triple3)] Fiona is cold.[(triple4)] Fiona is kind.[(triple5)] Fiona is round.[(triple6)] Fiona is young.[(triple7)] Harry is big.[(triple8)] Harry is cold.[(triple9)] Harry is young.[(triple10)] @1: Bob is red.[(((triple1) -> rule1))] Charlie is red.[(((triple2) -> rule1))] Harry is red.[(((triple8) -> rule1))] @2: Bob is quiet.[(((((triple1) -> rule1)) -> rule2))] Charlie is quiet.[(((((triple2) -> rule1)) -> rule2))] Harry is quiet.[(((((triple8) -> rule1)) -> rule2))]
Bob is big.
("Bob" "is" "big" "+")
triple1
Charlie is big.
("Charlie" "is" "big" "+")
triple2
Charlie is young.
("Charlie" "is" "young" "+")
triple3
Fiona is cold.
("Fiona" "is" "cold" "+")
triple4
Fiona is kind.
("Fiona" "is" "kind" "+")
triple5
Fiona is round.
("Fiona" "is" "round" "+")
triple6
Fiona is young.
("Fiona" "is" "young" "+")
triple7
Harry is big.
("Harry" "is" "big" "+")
triple8
Harry is cold.
("Harry" "is" "cold" "+")
triple9
Harry is young.
("Harry" "is" "young" "+")
triple10
Bob is red.
("Bob" "is" "red" "+")
((triple1) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
((triple2) -> (rule1 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
((triple8) -> (rule1 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
((((triple1) -> (rule1 % int2))) -> (rule2 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
((((triple2) -> (rule1 % int2))) -> (rule2 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
((((triple8) -> (rule1 % int2))) -> (rule2 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2