Bob is blue. Bob is green. Bob is round. Bob is not white. Dave is blue. Dave is round. Dave is white. Fiona is blue. Fiona is cold. Fiona is green. Harry is blue. Harry is green. Harry is quiet. Harry is rough. Harry is not white. Quiet things are round. Round, blue things are cold. If Dave is not round and Dave is not rough then Dave is white.
Bob is blue.
("Bob" "is" "blue" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is not white.
("Bob" "is" "white" "-")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is white.
("Dave" "is" "white" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is not white.
("Harry" "is" "white" "-")
Quiet things are round.
((("something" "is" "quiet" "+")) -> ("something" "is" "round" "+"))
Round, blue things are cold.
((("something" "is" "round" "+") ("something" "is" "blue" "+")) -> ("something" "is" "cold" "+"))
If Dave is not round and Dave is not rough then Dave is white.
((("Dave" "is" "round" "~") ("Dave" "is" "rough" "~")) -> ("Dave" "is" "white" "+"))
Fiona is green.
True
1
proof
[(triple10)]
("Fiona" "is" "green" "+")
triple10
Harry is not green.
False
1
inv-proof
[(triple12)]
("Harry" "is" "green" "-")
triple12
Harry is round.
True
2
proof
[(((triple13) -> rule1))]
("Harry" "is" "round" "+")
((triple13) -> (rule1 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Bob is not cold.
False
3
inv-proof
[(((triple3 triple1) -> rule2))]
("Bob" "is" "cold" "-")
((triple3 triple1) -> (rule2 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Harry is cold.
True
4
proof
[(((((triple13) -> rule1) triple11) -> rule2))]
("Harry" "is" "cold" "+")
((((triple13) -> (rule1 % int2)) triple11) -> (rule2 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is not cold.
False
4
inv-proof
[(((((triple13) -> rule1) triple11) -> rule2))]
("Harry" "is" "cold" "-")
((((triple13) -> (rule1 % int2)) triple11) -> (rule2 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Fiona is not round.
Unknown
inv-rconc
[@1: Fiona is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "round" "-")
Dave is green.
Unknown
random
[@0: Dave is green.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "green" "+")
Dave is not rough.
Unknown
inv-random
[@0: Dave is rough.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "rough" "-")
Fiona is quiet.
Unknown
random
[@0: Fiona is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "quiet" "+")
Fiona is not rough.
Unknown
inv-random
[@0: Fiona is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "rough" "-")
Dave is quiet.
Unknown
random
[@0: Dave is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "quiet" "+")
@0: Bob is blue.[(triple1)] Bob is green.[(triple2)] Bob is not white.[(triple4)] Bob is round.[(triple3)] Dave is blue.[(triple5)] Dave is round.[(triple6)] Dave is white.[(triple7)] Fiona is blue.[(triple8)] Fiona is cold.[(triple9)] Fiona is green.[(triple10)] Harry is blue.[(triple11)] Harry is green.[(triple12)] Harry is not white.[(triple15)] Harry is quiet.[(triple13)] Harry is rough.[(triple14)] @1: Bob is cold.[(((triple3 triple1) -> rule2))] Dave is cold.[(((triple6 triple5) -> rule2))] Harry is round.[(((triple13) -> rule1))] @2: Harry is cold.[(((((triple13) -> rule1) triple11) -> rule2))]
Bob is blue.
("Bob" "is" "blue" "+")
triple1
Bob is green.
("Bob" "is" "green" "+")
triple2
Bob is not white.
("Bob" "is" "white" "-")
triple4
Bob is round.
("Bob" "is" "round" "+")
triple3
Dave is blue.
("Dave" "is" "blue" "+")
triple5
Dave is round.
("Dave" "is" "round" "+")
triple6
Dave is white.
("Dave" "is" "white" "+")
triple7
Fiona is blue.
("Fiona" "is" "blue" "+")
triple8
Fiona is cold.
("Fiona" "is" "cold" "+")
triple9
Fiona is green.
("Fiona" "is" "green" "+")
triple10
Harry is blue.
("Harry" "is" "blue" "+")
triple11
Harry is green.
("Harry" "is" "green" "+")
triple12
Harry is not white.
("Harry" "is" "white" "-")
triple15
Harry is quiet.
("Harry" "is" "quiet" "+")
triple13
Harry is rough.
("Harry" "is" "rough" "+")
triple14
Bob is cold.
("Bob" "is" "cold" "+")
((triple3 triple1) -> (rule2 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
((triple6 triple5) -> (rule2 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
((triple13) -> (rule1 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
((((triple13) -> (rule1 % int2)) triple11) -> (rule2 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2