Bob is big. Bob is green. Bob is smart. Fiona is big. Fiona is cold. Fiona is nice. Fiona is quiet. Fiona is smart. Fiona is young. Harry is green. If someone is smart then they are nice. Green people are cold.
Bob is big.
("Bob" "is" "big" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Harry is green.
("Harry" "is" "green" "+")
If someone is smart then they are nice.
((("someone" "is" "smart" "+")) -> ("someone" "is" "nice" "+"))
Green people are cold.
((("someone" "is" "green" "+")) -> ("someone" "is" "cold" "+"))
Harry is green.
True
1
proof
[(triple10)]
("Harry" "is" "green" "+")
triple10
Harry is not green.
False
1
inv-proof
[(triple10)]
("Harry" "is" "green" "-")
triple10
Bob is cold.
True
2
proof
[(((triple2) -> rule2))]
("Bob" "is" "cold" "+")
((triple2) -> (rule2 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is not nice.
False
2
inv-proof
[(((triple3) -> rule1))]
("Bob" "is" "nice" "-")
((triple3) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Harry is not nice.
Unknown
inv-rconc
[@1: Harry is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "nice" "-")
Harry is smart.
Unknown
random
[@0: Harry is smart.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "smart" "+")
Bob is not quiet.
Unknown
inv-random
[@0: Bob is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "quiet" "-")
Harry is quiet.
Unknown
random
[@0: Harry is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "quiet" "+")
@0: Bob is big.[(triple1)] Bob is green.[(triple2)] Bob is smart.[(triple3)] Fiona is big.[(triple4)] Fiona is cold.[(triple5)] Fiona is nice.[(triple6 OR ((triple8) -> rule1))] Fiona is quiet.[(triple7)] Fiona is smart.[(triple8)] Fiona is young.[(triple9)] Harry is green.[(triple10)] @1: Bob is cold.[(((triple2) -> rule2))] Bob is nice.[(((triple3) -> rule1))] Harry is cold.[(((triple10) -> rule2))]
Bob is big.
("Bob" "is" "big" "+")
triple1
Bob is green.
("Bob" "is" "green" "+")
triple2
Bob is smart.
("Bob" "is" "smart" "+")
triple3
Fiona is big.
("Fiona" "is" "big" "+")
triple4
Fiona is cold.
("Fiona" "is" "cold" "+")
triple5
Fiona is nice.
("Fiona" "is" "nice" "+")
triple6
((triple8) -> (rule1 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple7
Fiona is smart.
("Fiona" "is" "smart" "+")
triple8
Fiona is young.
("Fiona" "is" "young" "+")
triple9
Harry is green.
("Harry" "is" "green" "+")
triple10
Bob is cold.
("Bob" "is" "cold" "+")
((triple2) -> (rule2 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
((triple3) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
((triple10) -> (rule2 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1