Anne is cold. Anne is kind. Anne is red. Anne is rough. Anne is smart. Bob is cold. Bob is kind. Bob is rough. Fiona is cold. Fiona is kind. Fiona is red. Fiona is rough. Fiona is smart. Fiona is young. Harry is big. Smart things are big. All rough, big things are young.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is red.
("Anne" "is" "red" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Harry is big.
("Harry" "is" "big" "+")
Smart things are big.
((("something" "is" "smart" "+")) -> ("something" "is" "big" "+"))
All rough, big things are young.
((("something" "is" "rough" "+") ("something" "is" "big" "+")) -> ("something" "is" "young" "+"))
Anne is rough.
True
1
proof
[(triple4)]
("Anne" "is" "rough" "+")
triple4
Anne is not red.
False
1
inv-proof
[(triple3)]
("Anne" "is" "red" "-")
triple3
Anne is big.
True
2
proof
[(((triple5) -> rule1))]
("Anne" "is" "big" "+")
((triple5) -> (rule1 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is not big.
False
2
inv-proof
[(((triple5) -> rule1))]
("Anne" "is" "big" "-")
((triple5) -> (rule1 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is young.
True
4
proof
[(((triple4 ((triple5) -> rule1)) -> rule2))]
("Anne" "is" "young" "+")
((triple4 ((triple5) -> (rule1 % int2))) -> (rule2 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is not young.
False
4
inv-proof
[(((triple4 ((triple5) -> rule1)) -> rule2))]
("Anne" "is" "young" "-")
((triple4 ((triple5) -> (rule1 % int2))) -> (rule2 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Bob is not big.
Unknown
inv-rconc
[@1: Bob is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "big" "-")
Harry is young.
Unknown
rconc
[@1: Harry is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "young" "+")
Bob is not young.
Unknown
inv-rconc
[@2: Bob is young.[CWA. Example of deepest failure = (rule2 <- rule1 <- FAIL)]]
("Bob" "is" "young" "-")
Harry is smart.
Unknown
random
[@0: Harry is smart.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "smart" "+")
Harry is not kind.
Unknown
inv-random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "-")
Bob is red.
Unknown
random
[@0: Bob is red.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "red" "+")
@0: Anne is cold.[(triple1)] Anne is kind.[(triple2)] Anne is red.[(triple3)] Anne is rough.[(triple4)] Anne is smart.[(triple5)] Bob is cold.[(triple6)] Bob is kind.[(triple7)] Bob is rough.[(triple8)] Fiona is cold.[(triple9)] Fiona is kind.[(triple10)] Fiona is red.[(triple11)] Fiona is rough.[(triple12)] Fiona is smart.[(triple13)] Fiona is young.[(triple14 OR ((triple12 ((triple13) -> rule1)) -> rule2))] Harry is big.[(triple15)] @1: Anne is big.[(((triple5) -> rule1))] Fiona is big.[(((triple13) -> rule1))] @2: Anne is young.[(((triple4 ((triple5) -> rule1)) -> rule2))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Anne is kind.
("Anne" "is" "kind" "+")
triple2
Anne is red.
("Anne" "is" "red" "+")
triple3
Anne is rough.
("Anne" "is" "rough" "+")
triple4
Anne is smart.
("Anne" "is" "smart" "+")
triple5
Bob is cold.
("Bob" "is" "cold" "+")
triple6
Bob is kind.
("Bob" "is" "kind" "+")
triple7
Bob is rough.
("Bob" "is" "rough" "+")
triple8
Fiona is cold.
("Fiona" "is" "cold" "+")
triple9
Fiona is kind.
("Fiona" "is" "kind" "+")
triple10
Fiona is red.
("Fiona" "is" "red" "+")
triple11
Fiona is rough.
("Fiona" "is" "rough" "+")
triple12
Fiona is smart.
("Fiona" "is" "smart" "+")
triple13
Fiona is young.
("Fiona" "is" "young" "+")
triple14
((triple12 ((triple13) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
triple15
Anne is big.
("Anne" "is" "big" "+")
((triple5) -> (rule1 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
((triple13) -> (rule1 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
((triple4 ((triple5) -> (rule1 % int2))) -> (rule2 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2